%0 Conference Paper %1 conf/dics/BuchsPL06 %A Buchs, Didier %A Pedro, Luis %A Lucio, Levi %B Research Results of the DICS Program %D 2006 %E Kohlas, Jürg %E Meyer, Bertrand %E Schiper, André %I Springer %K dblp %P 145-171 %T Formal Test Generation from UML Models. %U http://dblp.uni-trier.de/db/conf/dics/dics2006.html#BuchsPL06 %V 4028 %@ 3-540-36821-3

@inproceedings{conf/dics/BuchsPL06, added-at = {2017-05-25T00:00:00.000+0200}, author = {Buchs, Didier and Pedro, Luis and Lucio, Levi}, biburl = {https://www.bibsonomy.org/bibtex/2ed642ca4a1da8cca1460191ae7e34c65/dblp}, booktitle = {Research Results of the DICS Program}, crossref = {conf/dics/2006}, editor = {Kohlas, Jürg and Meyer, Bertrand and Schiper, André}, ee = {https://doi.org/10.1007/11808107_7}, interhash = {591c1f804d09c7e413fc76828d6ac046}, intrahash = {ed642ca4a1da8cca1460191ae7e34c65}, isbn = {3-540-36821-3}, keywords = {dblp}, pages = {145-171}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:44:10.000+0200}, title = {Formal Test Generation from UML Models.}, url = {http://dblp.uni-trier.de/db/conf/dics/dics2006.html#BuchsPL06}, volume = 4028, year = 2006 }