%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 }