%0 Conference Paper %1 conf/foveoos/BormerBDEFGHKMMMPSSTTU11 %A Bormer, Thorsten %A Brockschmidt, Marc %A Distefano, Dino %A Ernst, Gidon %A Filliâtre, Jean-Christophe %A Grigore, Radu %A Huisman, Marieke %A Klebanov, Vladimir %A Marché, Claude %A Monahan, Rosemary %A Mostowski, Wojciech %A Polikarpova, Nadia %A Scheben, Christoph %A Schellhorn, Gerhard %A Tofan, Bogdan %A Tschannen, Julian %A Ulbrich, Mattias %B FoVeOOS %D 2011 %E Beckert, Bernhard %E Damiani, Ferruccio %E Gurov, Dilian %I Springer %K %P 3-21 %T The COST IC0701 Verification Competition 2011. %U http://dblp.uni-trier.de/db/conf/foveoos/foveoos2011.html#BormerBDEFGHKMMMPSSTTU11 %V 7421 %@ 978-3-642-31761-3

@inproceedings{conf/foveoos/BormerBDEFGHKMMMPSSTTU11, added-at = {2023-12-12T20:15:12.000+0100}, author = {Bormer, Thorsten and Brockschmidt, Marc and Distefano, Dino and Ernst, Gidon and Filliâtre, Jean-Christophe and Grigore, Radu and Huisman, Marieke and Klebanov, Vladimir and Marché, Claude and Monahan, Rosemary and Mostowski, Wojciech and Polikarpova, Nadia and Scheben, Christoph and Schellhorn, Gerhard and Tofan, Bogdan and Tschannen, Julian and Ulbrich, Mattias}, biburl = {https://www.bibsonomy.org/bibtex/2a17c38d1078643cf5b8a41f2542c323d/admin}, booktitle = {FoVeOOS}, crossref = {conf/foveoos/2011}, editor = {Beckert, Bernhard and Damiani, Ferruccio and Gurov, Dilian}, ee = {https://doi.org/10.1007/978-3-642-31762-0_2}, interhash = {2c9a0709da901ec7aafb4c38bea3337b}, intrahash = {a17c38d1078643cf5b8a41f2542c323d}, isbn = {978-3-642-31761-3}, keywords = {}, pages = {3-21}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T20:15:12.000+0100}, title = {The COST IC0701 Verification Competition 2011.}, url = {http://dblp.uni-trier.de/db/conf/foveoos/foveoos2011.html#BormerBDEFGHKMMMPSSTTU11}, volume = 7421, year = 2011 }