Symbolic and Timed Testing

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}
}

Bookmark the permalink.