bibtex

@inproceedings{BOUKALA2011

author = BOUKALA, Mohand Cherif; Petrucci, Laure;
title = Distributed Verification of Modular Systems;
booktitle = In Proc. workshop on Petri Nets Compositions ,
publisher = 0 ,
address = Newcastle, UK ,
month = Janvier,
year = 2011, }