Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/fm/CampbellGNSTV05
%A Campbell, Colin
%A Grieskamp, Wolfgang
%A Nachmanson, Lev
%A Schulte, Wolfram
%A Tillmann, Nikolai
%A Veanes, Margus
%B FM
%D 2005
%E Fitzgerald, John S.
%E Hayes, Ian J.
%E Tarlecki, Andrzej
%I Springer
%K
%P 542-547
%T Testing Concurrent Object-Oriented Systems with Spec Explorer.
%U http://dblp.uni-trier.de/db/conf/fm/fm2005.html#CampbellGNSTV05
%V 3582
%@ 3-540-27882-6
@inproceedings{conf/fm/CampbellGNSTV05,
added-at = {2023-12-13T02:29:44.000+0100},
author = {Campbell, Colin and Grieskamp, Wolfgang and Nachmanson, Lev and Schulte, Wolfram and Tillmann, Nikolai and Veanes, Margus},
biburl = {https://www.bibsonomy.org/bibtex/2be10a979d02ff5375073095798f24ef4/admin},
booktitle = {FM},
crossref = {conf/fm/2005},
editor = {Fitzgerald, John S. and Hayes, Ian J. and Tarlecki, Andrzej},
ee = {https://doi.org/10.1007/11526841_38},
interhash = {7fedcfaf089a1583e2b13a2d8e55760e},
intrahash = {be10a979d02ff5375073095798f24ef4},
isbn = {3-540-27882-6},
keywords = {},
pages = {542-547},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-13T02:29:44.000+0100},
title = {Testing Concurrent Object-Oriented Systems with Spec Explorer.},
url = {http://dblp.uni-trier.de/db/conf/fm/fm2005.html#CampbellGNSTV05},
volume = 3582,
year = 2005
}