%0 Conference Paper %1 conf/iceccs/GnesiLM04 %A Gnesi, Stefania %A Latella, Diego %A Massink, Mieke %B ICECCS %D 2004 %I IEEE Computer Society %K dblp %P 75-84 %T Formal Test-Case Generation for UML Statecharts. %U http://dblp.uni-trier.de/db/conf/iceccs/iceccs2004.html#GnesiLM04 %@ 0-7695-2109-6

@inproceedings{conf/iceccs/GnesiLM04, added-at = {2023-03-24T00:00:00.000+0100}, author = {Gnesi, Stefania and Latella, Diego and Massink, Mieke}, biburl = {https://www.bibsonomy.org/bibtex/28299fb339331d9de5f5bead0547ef854/dblp}, booktitle = {ICECCS}, crossref = {conf/iceccs/2004}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2004.1310906}, interhash = {b418d8cf0a20cfc763dbfbf2f56637bd}, intrahash = {8299fb339331d9de5f5bead0547ef854}, isbn = {0-7695-2109-6}, keywords = {dblp}, pages = {75-84}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T08:31:36.000+0200}, title = {Formal Test-Case Generation for UML Statecharts.}, url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2004.html#GnesiLM04}, year = 2004 }