%0 Conference Paper %1 conf/fates/BarnettGNSTV03 %A Barnett, Michael %A Grieskamp, Wolfgang %A Nachmanson, Lev %A Schulte, Wolfram %A Tillmann, Nikolai %A Veanes, Margus %B FATES %D 2003 %E Petrenko, Alexandre %E Ulrich, Andreas %I Springer %K dblp %P 252-266 %T Towards a Tool Environment for Model-Based Testing with AsmL. %U http://dblp.uni-trier.de/db/conf/fates/fates2003.html#BarnettGNSTV03 %V 2931 %@ 3-540-20894-1

@inproceedings{conf/fates/BarnettGNSTV03, added-at = {2017-05-26T00:00:00.000+0200}, author = {Barnett, Michael and Grieskamp, Wolfgang and Nachmanson, Lev and Schulte, Wolfram and Tillmann, Nikolai and Veanes, Margus}, biburl = {https://www.bibsonomy.org/bibtex/2bcb81c2a34715c99a4d3ac88bd810492/dblp}, booktitle = {FATES}, crossref = {conf/fates/2003}, editor = {Petrenko, Alexandre and Ulrich, Andreas}, ee = {https://doi.org/10.1007/978-3-540-24617-6_18}, interhash = {0899a96892dca1d0b106ff3d8466e0e4}, intrahash = {bcb81c2a34715c99a4d3ac88bd810492}, isbn = {3-540-20894-1}, keywords = {dblp}, pages = {252-266}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:11:42.000+0200}, title = {Towards a Tool Environment for Model-Based Testing with AsmL.}, url = {http://dblp.uni-trier.de/db/conf/fates/fates2003.html#BarnettGNSTV03}, volume = 2931, year = 2003 }