 |
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="Girkar-Moll/94" |
|
New results on the analysis of concurrent systems with an indefinite number of processes
Mahesh Girkar, Robert Moll
Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)
Lecture Notes in Computer Science
836
, 1994, pp. 65-80
| Editors | Bengt Jonsson, Joachim Parrow | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest | |
|
|
|
|