Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

TUM-Logo

Die bibliographische Datenbank LEABib


SuchenListe der JournaleListe der SerienListe der KonferenzenAusgewählte Publikationen Ausgewählte Publikationen Hilfe Hilfe
 
Suche: Citkey="Juhas-Kazlov-Juhasova/10"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Instance Deadlock: A mystery behind frozen programs Publikation auswählen
Gabriel Juhás, Igor Kazlov, Ana Juhásová

Proceedings of the 31st International Conference on Applications and Theory of Petri Nets, PETRI NETS'2010 (Braga, Portugal, 21-25, 2010)
Lecture Notes in Computer Science 6128 , 2010, pp. 1-17

Editors  Johan Lilius, Wojciech Penczek
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg
 
URL:   http://springerlink.metapress.com/content/824p3w3v04775jr2/fulltext.pdf