%0 Conference Paper %1 conf/tools/AydalUW08 %A Aydal, Emine Gokce %A Utting, Mark %A Woodcock, Jim %B TOOLS (46) %D 2008 %E Paige, Richard F. %E Meyer, Bertrand %I Springer %K dblp %P 278-296 %T A Comparison of State-Based Modelling Tools for Model Validation. %U http://dblp.uni-trier.de/db/conf/tools/tools46-2008.html#AydalUW08 %V 11 %@ 978-3-540-69823-4

@inproceedings{conf/tools/AydalUW08, added-at = {2023-02-17T00:00:00.000+0100}, author = {Aydal, Emine Gokce and Utting, Mark and Woodcock, Jim}, biburl = {https://www.bibsonomy.org/bibtex/2c6c43e75b8b7f031e744def021899c21/dblp}, booktitle = {TOOLS (46)}, crossref = {conf/tools/46-2008}, editor = {Paige, Richard F. and Meyer, Bertrand}, ee = {https://doi.org/10.1007/978-3-540-69824-1_16}, interhash = {59821d0413c9e55c782e28bb3fb5fe63}, intrahash = {c6c43e75b8b7f031e744def021899c21}, isbn = {978-3-540-69823-4}, keywords = {dblp}, pages = {278-296}, publisher = {Springer}, series = {Lecture Notes in Business Information Processing}, timestamp = {2024-04-10T09:45:37.000+0200}, title = {A Comparison of State-Based Modelling Tools for Model Validation.}, url = {http://dblp.uni-trier.de/db/conf/tools/tools46-2008.html#AydalUW08}, volume = 11, year = 2008 }