by Sabrina von Styp
Reference:
Symbolic and Timed Testing (Sabrina von Styp), In Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, Algorithmic synthesis of reactive and discrete-continuous systems, AlgoSyn 2010, May 31 – June 2, 2010, 2010.
Bibtex Entry:
@inproceedings{DBLP:conf/dagstuhl/Styp10, author = {Sabrina von Styp}, title = {Symbolic and Timed Testing}, booktitle = {Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, Algorithmic synthesis of reactive and discrete-continuous systems, AlgoSyn 2010, May 31 - June 2, 2010}, year = {2010}, pages = {84}, crossref = {DBLP:conf/dagstuhl/2010algosyn}, url = {http://www.algosyn.rwth-aachen.de/GK%20Workshop/Dagstuhl2010.pdf}, timestamp = {Mon, 15 Sep 2014 11:16:30 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/dagstuhl/Styp10}, bibsource = {dblp computer science bibliography, http://dblp.org} }