%0 Conference Paper %1 conf/ictac/ChoppyHKKPT06 %A Choppy, Christine %A Haddad, Serge %A Klaudel, Hanna %A Kordon, Fabrice %A Petrucci, Laure %A Thierry-Mieg, Yann %B ICTAC %D 2006 %E Barkaoui, Kamel %E Cavalcanti, Ana %E Cerone, Antonio %I Springer %K dblp %P 362-365 %T Tutorial on Formal Methods for Distributed and Cooperative Systems. %U http://dblp.uni-trier.de/db/conf/ictac/ictac2006.html#ChoppyHKKPT06 %V 4281 %@ 3-540-48815-4

@inproceedings{conf/ictac/ChoppyHKKPT06, added-at = {2018-11-02T00:00:00.000+0100}, author = {Choppy, Christine and Haddad, Serge and Klaudel, Hanna and Kordon, Fabrice and Petrucci, Laure and Thierry-Mieg, Yann}, biburl = {https://www.bibsonomy.org/bibtex/21ed03d4ffd513b2ee75a637169cdd29a/dblp}, booktitle = {ICTAC}, crossref = {conf/ictac/2006}, editor = {Barkaoui, Kamel and Cavalcanti, Ana and Cerone, Antonio}, ee = {https://doi.org/10.1007/11921240_25}, interhash = {9bbc655130b23901179b80095faf8ad1}, intrahash = {1ed03d4ffd513b2ee75a637169cdd29a}, isbn = {3-540-48815-4}, keywords = {dblp}, pages = {362-365}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:34:06.000+0200}, title = {Tutorial on Formal Methods for Distributed and Cooperative Systems.}, url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2006.html#ChoppyHKKPT06}, volume = 4281, year = 2006 }