 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen  [2]
|
Hilfe 
|
 |
|
| Suche: Citkey="Berdine-Calcagno-OHearn/04" |
|
A decidable fragment of separation logic
Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn
Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)
Lecture Notes in Computer Science
3328
, 2004, pp. 97-109
| Editors | Kamal Lodaya, Meena Mahajan | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg | |
| URL: |
http://www.springerlink.com/content/j2lqa9127g80jyhr | |
|
|
|
|