bibtex

@inproceedings{BOUKALA2007

author = BOUKALA, Mohand Cherif; Petrucci, Laure;
title = Towards Distributed Verification of Petri Nets;
booktitle = International Workshop on Verification and Evaluation of Computer and Communication Systems ,
publisher = 0 ,
address = Algiers, Algeria ,
month = Mai,
year = 2007, }