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/fates/FrantzenTW06
%A Frantzen, Lars
%A Tretmans, Jan
%A Willemse, Tim A. C.
%B FATES/RV
%D 2006
%E Havelund, Klaus
%E Núñez, Manuel
%E Rosu, Grigore
%E Wolff, Burkhart
%I Springer
%K dblp
%P 40-54
%T A Symbolic Framework for Model-Based Testing.
%U http://dblp.uni-trier.de/db/conf/fates/fates2006.html#FrantzenTW06
%V 4262
%@ 3-540-49699-8
@inproceedings{conf/fates/FrantzenTW06,
added-at = {2017-05-26T00:00:00.000+0200},
author = {Frantzen, Lars and Tretmans, Jan and Willemse, Tim A. C.},
biburl = {https://www.bibsonomy.org/bibtex/2bc98a148a78956ef898b66d4de756644/dblp},
booktitle = {FATES/RV},
crossref = {conf/fates/2006},
editor = {Havelund, Klaus and Núñez, Manuel and Rosu, Grigore and Wolff, Burkhart},
ee = {https://doi.org/10.1007/11940197_3},
interhash = {6e13cc4e6866d5b973c6b9707b03f7ef},
intrahash = {bc98a148a78956ef898b66d4de756644},
isbn = {3-540-49699-8},
keywords = {dblp},
pages = {40-54},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T14:11:49.000+0200},
title = {A Symbolic Framework for Model-Based Testing.},
url = {http://dblp.uni-trier.de/db/conf/fates/fates2006.html#FrantzenTW06},
volume = 4262,
year = 2006
}