Login
- Title:
Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri-Nets
- Document type:
- Konferenzbeitrag
- Contribution type:
- Textbeitrag / Aufsatz
- Author(s):
- Mayr, Ernst W.; Weihmann, Jeremias
- Pages contribution:
- 70-89
- Book / Congress title:
- Application and Theory of Petri Nets and Concurrency
- Congress (additional information):
- 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013
- Publisher:
- Springer-Verlag
- Publisher address:
- Berlin-Heidelberg
- Year:
- 2013
- Print-ISBN:
- 978-3-642-38696-1
- E-ISBN:
- 978-3-642-38697-8
- Bookseries title:
- Lecture Notes in Computer Science (LNCS)
- Bookseries volume:
- 7927
- Language:
- en
- Publication format:
- Semester:
- SS 13
- TUM Institution:
- Informatik XIV - Lehrstuhl für Effiziente Algorithmen
- Format:
- Text
- Ingested:
- 28.10.2013
BibTeX