E. Pastor, O. Roig, J. Cortadella, und R. Badia. Application and Theory of Petri Nets, Volume 815 von Lecture Notes in Computer Science, Seite 416-435. Springer, (1994)
Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/apn/PastorRCB94
%A Pastor, Enric
%A Roig, Oriol
%A Cortadella, Jordi
%A Badia, Rosa M.
%B Application and Theory of Petri Nets
%D 1994
%E Valette, Robert
%I Springer
%K dblp
%P 416-435
%T Petri Net Analysis Using Boolean Manipulation.
%U http://dblp.uni-trier.de/db/conf/apn/apn1994.html#PastorRCB94
%V 815
%@ 3-540-58152-9
@inproceedings{conf/apn/PastorRCB94,
added-at = {2018-11-14T00:00:00.000+0100},
author = {Pastor, Enric and Roig, Oriol and Cortadella, Jordi and Badia, Rosa M.},
biburl = {https://www.bibsonomy.org/bibtex/2522fda663dc7c6df881af3bf9d1286cf/dblp},
booktitle = {Application and Theory of Petri Nets},
crossref = {conf/apn/1994},
editor = {Valette, Robert},
ee = {https://www.wikidata.org/entity/Q56893101},
interhash = {7260e6fa1ce2c8939566947f96363a5c},
intrahash = {522fda663dc7c6df881af3bf9d1286cf},
isbn = {3-540-58152-9},
keywords = {dblp},
pages = {416-435},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T15:59:20.000+0200},
title = {Petri Net Analysis Using Boolean Manipulation.},
url = {http://dblp.uni-trier.de/db/conf/apn/apn1994.html#PastorRCB94},
volume = 815,
year = 1994
}