Login
- Titel:
Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri-Nets
- Dokumenttyp:
- Konferenzbeitrag
- Art des Konferenzbeitrags:
- Textbeitrag / Aufsatz
- Autor(en):
- Mayr, Ernst W.; Weihmann, Jeremias
- Seitenangaben Beitrag:
- 70-89
- Kongress- / Buchtitel:
- Application and Theory of Petri Nets and Concurrency
- Kongress / Zusatzinformationen:
- 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013
- Verlag / Institution:
- Springer-Verlag
- Verlagsort:
- Berlin-Heidelberg
- Jahr:
- 2013
- Print-ISBN:
- 978-3-642-38696-1
- E-ISBN:
- 978-3-642-38697-8
- Serientitel:
- Lecture Notes in Computer Science (LNCS)
- Serienbandnummer:
- 7927
- Sprache:
- en
- Erscheinungsform:
- Semester:
- SS 13
- TUM Einrichtung:
- Informatik XIV - Lehrstuhl für Effiziente Algorithmen
- Format:
- Text
- Eingabe:
- 28.10.2013
BibTeX