%0 Journal Article %1 abid2013local %A Abid, Chiheb Ameur %A Zouari, Belhassen %D 2013 %E Press, IOS %J Fundamenta Informaticae %K Petri_nets distributed_systems modular_state_space verification %N 1 %P 1-20 %T Local Verification using a Distributed State Space %V 125

@article{abid2013local, added-at = {2013-05-31T11:10:36.000+0200}, author = {Abid, Chiheb Ameur and Zouari, Belhassen}, biburl = {https://www.bibsonomy.org/bibtex/2c681a1d4dcb4616760bd3f1544558537/chiheb}, editor = {Press, IOS}, interhash = {dcbb2a551ff72ea643f38331d0e94742}, intrahash = {c681a1d4dcb4616760bd3f1544558537}, journal = {Fundamenta Informaticae}, keywords = {Petri_nets distributed_systems modular_state_space verification}, number = 1, pages = {1-20}, timestamp = {2013-05-31T12:38:03.000+0200}, title = {Local Verification using a Distributed State Space}, volume = 125, year = 2013 }