 |
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  [1]
|
Hilfe 
|
 |
|
| Suche: Citkey="Babar-Beccuti-Donatelli-Miner/10" |
|
GreatSPN enhanced with decision diagram data structures
Junaid Babar, Marco Beccuti, Susanna Donatelli, Andrew Miner
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. 308-317
| Editors | Johan Lilius, Wojciech Penczek | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg | |
| URL: |
http://springerlink.metapress.com/content/jq42087084w4wl31/fulltext.pdf | |
|
|
|
|