%0 Conference Paper %1 ColinCampbell.2005 %A Colin Campbell, %A Wolfgang Grieskamp, %A Lev Nachmanson, %A Wolfram Schulte, %A Nikolai Tillmann, %A Margus Veanes, %B Proc. Intl. Symposium of Formal Methods Europe %D 2005 %I Springer %K Informatik %P 542–547 %T Testing concurrent object-oriented systems with Spec Explorer

@inproceedings{ColinCampbell.2005, added-at = {2013-10-18T15:40:01.000+0200}, author = {{Colin Campbell} and {Wolfgang Grieskamp} and {Lev Nachmanson} and {Wolfram Schulte} and {Nikolai Tillmann} and {Margus Veanes}}, biburl = {https://www.bibsonomy.org/bibtex/2e7dcba66ea3c20bf919230fff75deedd/hlackner}, booktitle = {Proc. Intl. Symposium of Formal Methods Europe}, interhash = {7fedcfaf089a1583e2b13a2d8e55760e}, intrahash = {e7dcba66ea3c20bf919230fff75deedd}, keywords = {Informatik}, pages = {542–547}, publisher = {Springer}, timestamp = {2013-10-18T15:40:01.000+0200}, title = {Testing concurrent object-oriented systems with Spec Explorer}, year = 2005 }