 |
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="Bennacer-Florin-Fraize-Natkin/94" |
|
Probabilistic validation of a remote procedure call protocol
N. Bennacer, G. Florin, C. Fraize, S. Natkin
Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)
Lecture Notes in Computer Science
815
, 1994, pp. 59-78
| Editors | Robert Valette | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest | |
|
|
|
|