Benutzer: Gast  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:
Print
Semester:
SS 13
TUM Einrichtung:
Informatik XIV - Lehrstuhl für Effiziente Algorithmen
Format:
Text
Eingabe:
28.10.2013
 BibTeX