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/synasc/BellettiniC11
%A Bellettini, Carlo
%A Capra, Lorenzo
%B SYNASC
%D 2011
%E Wang, Dongming
%E Negru, Viorel
%E Ida, Tetsuo
%E Jebelean, Tudor
%E Petcu, Dana
%E Watt, Stephen M.
%E Zaharie, Daniela
%I IEEE Computer Society
%K dblp
%P 110-117
%T Reachability Analysis of Time Basic Petri Nets: A Time Coverage Approach.
%U http://dblp.uni-trier.de/db/conf/synasc/synasc2011.html#BellettiniC11
%@ 978-1-4673-0207-4
@inproceedings{conf/synasc/BellettiniC11,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Bellettini, Carlo and Capra, Lorenzo},
biburl = {https://www.bibsonomy.org/bibtex/2cd271060064495e43f412450287f8a67/dblp},
booktitle = {SYNASC},
crossref = {conf/synasc/2011},
editor = {Wang, Dongming and Negru, Viorel and Ida, Tetsuo and Jebelean, Tudor and Petcu, Dana and Watt, Stephen M. and Zaharie, Daniela},
ee = {https://doi.ieeecomputersociety.org/10.1109/SYNASC.2011.16},
interhash = {e24d210b632a4da93e67ae2d2183c030},
intrahash = {cd271060064495e43f412450287f8a67},
isbn = {978-1-4673-0207-4},
keywords = {dblp},
pages = {110-117},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T19:14:01.000+0200},
title = {Reachability Analysis of Time Basic Petri Nets: A Time Coverage Approach.},
url = {http://dblp.uni-trier.de/db/conf/synasc/synasc2011.html#BellettiniC11},
year = 2011
}