%0 Conference Paper %1 conf/soco/BoudjadarBF12 %A Boudjadar, Abdeldjalil %A Bodeveix, Jean-Paul %A Filali, Mamoun %B SC@TOOLS %D 2012 %E Gschwind, Thomas %E Paoli, Flavio De %E Gruhn, Volker %E Book, Matthias %I Springer %K dblp %P 114-131 %T Revising and Extending the Uppaal Communication Mechanism. %U http://dblp.uni-trier.de/db/conf/soco/sc2012.html#BoudjadarBF12 %V 7306 %@ 978-3-642-30563-4

@inproceedings{conf/soco/BoudjadarBF12, added-at = {2020-06-25T00:00:00.000+0200}, author = {Boudjadar, Abdeldjalil and Bodeveix, Jean-Paul and Filali, Mamoun}, biburl = {https://www.bibsonomy.org/bibtex/29f15bc97e62f64673368949907f8ac10/dblp}, booktitle = {SC@TOOLS}, crossref = {conf/soco/2012}, editor = {Gschwind, Thomas and Paoli, Flavio De and Gruhn, Volker and Book, Matthias}, ee = {https://doi.org/10.1007/978-3-642-30564-1_8}, interhash = {92774662beaa0f9bf3d269e3a9e6a9a9}, intrahash = {9f15bc97e62f64673368949907f8ac10}, isbn = {978-3-642-30563-4}, keywords = {dblp}, pages = {114-131}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-06-26T11:39:50.000+0200}, title = {Revising and Extending the Uppaal Communication Mechanism.}, url = {http://dblp.uni-trier.de/db/conf/soco/sc2012.html#BoudjadarBF12}, volume = 7306, year = 2012 }