%0 Conference Paper %1 conf/fmics/DesmoulinV07 %A Desmoulin, Alexandra %A Viho, César %B FMICS %D 2007 %E Leue, Stefan %E Merino, Pedro %I Springer %K dblp %P 234-250 %T Automatic Interoperability Test Case Generation Based on Formal Definitions. %U http://dblp.uni-trier.de/db/conf/fmics/fmics2007.html#DesmoulinV07 %V 4916 %@ 978-3-540-79706-7

@inproceedings{conf/fmics/DesmoulinV07, added-at = {2017-05-21T00:00:00.000+0200}, author = {Desmoulin, Alexandra and Viho, César}, biburl = {https://www.bibsonomy.org/bibtex/25ba7613fe23bc30c16f19517bcc083d5/dblp}, booktitle = {FMICS}, crossref = {conf/fmics/2007}, editor = {Leue, Stefan and Merino, Pedro}, ee = {https://doi.org/10.1007/978-3-540-79707-4_17}, interhash = {f7a8538fd52037eb84766e60b85221a4}, intrahash = {5ba7613fe23bc30c16f19517bcc083d5}, isbn = {978-3-540-79706-7}, keywords = {dblp}, pages = {234-250}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:51:53.000+0200}, title = {Automatic Interoperability Test Case Generation Based on Formal Definitions.}, url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2007.html#DesmoulinV07}, volume = 4916, year = 2007 }