%0 Conference Paper %1 conf/ifm/VekrisLDM13 %A Vekris, Dimitris %A Lang, Frédéric %A Dima, Catalin %A Mateescu, Radu %B IFM %D 2013 %E Johnsen, Einar Broch %E Petre, Luigia %I Springer %K %P 61-76 %T Verification of EB3 Specifications Using CADP. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2013.html#VekrisLDM13 %V 7940 %@ 978-3-642-38613-8

@inproceedings{conf/ifm/VekrisLDM13, added-at = {2023-12-13T01:14:16.000+0100}, author = {Vekris, Dimitris and Lang, Frédéric and Dima, Catalin and Mateescu, Radu}, biburl = {https://www.bibsonomy.org/bibtex/2ea72d216504132f072b2b759895d4838/admin}, booktitle = {IFM}, crossref = {conf/ifm/2013}, editor = {Johnsen, Einar Broch and Petre, Luigia}, ee = {https://doi.org/10.1007/978-3-642-38613-8_5}, interhash = {6eaed9c3ac209853311da5f85eef597d}, intrahash = {ea72d216504132f072b2b759895d4838}, isbn = {978-3-642-38613-8}, keywords = {}, pages = {61-76}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T01:14:16.000+0100}, title = {Verification of EB3 Specifications Using CADP.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2013.html#VekrisLDM13}, volume = 7940, year = 2013 }