%0 Conference Paper %1 conf/qsic/GrieskampTCSV05 %A Grieskamp, Wolfgang %A Tillmann, Nikolai %A Campbell, Colin %A Schulte, Wolfram %A Veanes, Margus %B QSIC %D 2005 %I IEEE Computer Society %K %P 72-82 %T Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation. %U http://dblp.uni-trier.de/db/conf/qsic/qsic2005.html#GrieskampTCSV05 %@ 0-7695-2472-9

@inproceedings{conf/qsic/GrieskampTCSV05, added-at = {2023-12-12T22:34:49.000+0100}, author = {Grieskamp, Wolfgang and Tillmann, Nikolai and Campbell, Colin and Schulte, Wolfram and Veanes, Margus}, biburl = {https://www.bibsonomy.org/bibtex/248af411420b1229bf2af370b5344cd2a/admin}, booktitle = {QSIC}, crossref = {conf/qsic/2005}, ee = {http://doi.ieeecomputersociety.org/10.1109/QSIC.2005.10}, interhash = {4bc60388c3183e30693785b1a9b1c92b}, intrahash = {48af411420b1229bf2af370b5344cd2a}, isbn = {0-7695-2472-9}, keywords = {}, pages = {72-82}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T22:34:49.000+0100}, title = {Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation.}, url = {http://dblp.uni-trier.de/db/conf/qsic/qsic2005.html#GrieskampTCSV05}, year = 2005 }