 |
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="Christoff-Christoff/92" |
|
Reasoning about safety and liveness properties for probabilistic processes
Linda Christoff, Ivan Christoff
Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'92 (New Delhi, India, December 18-20, 1992)
Lecture Notes in Computer Science
652
, 1992, pp. 342-355
| Editors | R. Shyamasundar | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest | |
| URL: |
http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=652&spage=342 | |
|
|
|
|