%0 Conference Paper %1 conf/scsc/AbidZ07 %A Abid, Chiheb Ameur %A Zouari, Belhassen %B SCSC %D 2007 %E Wainer, Gabriel A. %I Simulation Councils, Inc. %K dblp %P 681-690 %T A distributed verification approach for modular Petri nets. %U http://dblp.uni-trier.de/db/conf/scsc/scsc2007.html#AbidZ07 %@ 1-56555-316-0

@inproceedings{conf/scsc/AbidZ07, added-at = {2018-11-28T00:00:00.000+0100}, author = {Abid, Chiheb Ameur and Zouari, Belhassen}, biburl = {https://www.bibsonomy.org/bibtex/206147375bfc889165cb990bbe422f974/dblp}, booktitle = {SCSC}, crossref = {conf/scsc/2007}, editor = {Wainer, Gabriel A.}, ee = {https://dl.acm.org/citation.cfm?id=1358016}, interhash = {0b409e18dab604bb2c008156b3a3ba78}, intrahash = {06147375bfc889165cb990bbe422f974}, isbn = {1-56555-316-0}, keywords = {dblp}, pages = {681-690}, publisher = {Simulation Councils, Inc.}, timestamp = {2018-11-29T11:39:09.000+0100}, title = {A distributed verification approach for modular Petri nets.}, url = {http://dblp.uni-trier.de/db/conf/scsc/scsc2007.html#AbidZ07}, year = 2007 }