Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/apn/CarmonaCKKLY08
%A Carmona, Josep
%A Cortadella, Jordi
%A Kishinevsky, Michael
%A Kondratyev, Alex
%A Lavagno, Luciano
%A Yakovlev, Alexandre
%B Petri Nets
%D 2008
%E van Hee, Kees M.
%E Valk, Rüdiger
%I Springer
%K dblp
%P 92-111
%T A Symbolic Algorithm for the Synthesis of Bounded Petri Nets.
%U http://dblp.uni-trier.de/db/conf/apn/pn2008.html#CarmonaCKKLY08
%V 5062
%@ 978-3-540-68745-0
@inproceedings{conf/apn/CarmonaCKKLY08,
added-at = {2021-12-09T00:00:00.000+0100},
author = {Carmona, Josep and Cortadella, Jordi and Kishinevsky, Michael and Kondratyev, Alex and Lavagno, Luciano and Yakovlev, Alexandre},
biburl = {https://www.bibsonomy.org/bibtex/22e1d6632e0fe562c27dbcf87f7d2da1f/dblp},
booktitle = {Petri Nets},
crossref = {conf/apn/2008},
editor = {van Hee, Kees M. and Valk, Rüdiger},
ee = {https://www.wikidata.org/entity/Q56892275},
interhash = {1f5f761aeeb9e02ec7fda4242fb43469},
intrahash = {2e1d6632e0fe562c27dbcf87f7d2da1f},
isbn = {978-3-540-68745-0},
keywords = {dblp},
pages = {92-111},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-10T14:04:40.000+0200},
title = {A Symbolic Algorithm for the Synthesis of Bounded Petri Nets.},
url = {http://dblp.uni-trier.de/db/conf/apn/pn2008.html#CarmonaCKKLY08},
volume = 5062,
year = 2008
}