 |
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: Author="Strazny, Tim" |
|
A practical approach to verification of mobile systems using net unfoldings
Roland Meyer, Victor Khomenko, Tim Strazny
Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)
Lecture Notes in Computer Science
5062
, 2008, pp. 327-347
| Editors | Kees M. van Hee, Rüdiger Valk | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg | |
| URL: |
http://dx.doi.org/10.1007/978-3-540-68746-7_22 | |
|
|
|
|