 |
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 
|
Hilfe 
|
 |
|
| Suche: Citkey="Lodaya-Ramanujam/91" |
|
Tense logics for local reasoning in distributed systems
Kamal Lodaya, R. Ramanujam
Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)
Lecture Notes in Computer Science
560
, 1991, pp. 71-88
| Editors | S. Biswas, K.V. Nori | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest | |
| URL: |
http://dx.doi.org/10.1007/3-540-54967-6_62 | |
|
|
|
|