bibtex

@inproceedings{Madi2012

author = Madi, L; IOUALALEN, Malika;
title = Timed Abstract Mobile Synchronizing Petri Nets;
booktitle = C3S2E'12 ,
address = Montreal, Canada ,
month = Juin,
year = 2012, }