User: Guest  Login
Document type:
Konferenzbeitrag
Contribution type:
Textbeitrag / Aufsatz
Author(s):
Mayr, Ernst W.; Weihmann, Jeremias
Title:
Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri-Nets
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:
Print
Semester:
SS 13
TUM Institution:
Informatik XIV - Lehrstuhl für Effiziente Algorithmen
Format:
Text
Ingested:
28.10.2013
 BibTeX