%0 Journal Article %1 journals/entcs/EngelsKHL03 %A Engels, Gregor %A Küster, Jochen Malte %A Heckel, Reiko %A Lohmann, Marc %D 2003 %J Electron. Notes Theor. Comput. Sci. %K %N 7 %P 133-150 %T Model-Based Verification and Validation of Properties. %U http://dblp.uni-trier.de/db/journals/entcs/entcs82.html#EngelsKHL03 %V 82

@article{journals/entcs/EngelsKHL03, added-at = {2023-12-14T16:58:21.000+0100}, author = {Engels, Gregor and Küster, Jochen Malte and Heckel, Reiko and Lohmann, Marc}, biburl = {https://www.bibsonomy.org/bibtex/2a24b992810faf94918f864e7561aae62/admin}, ee = {https://doi.org/10.1016/S1571-0661(04)80752-7}, interhash = {ffc8a330f8e724891903ff20ae8b7852}, intrahash = {a24b992810faf94918f864e7561aae62}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {}, number = 7, pages = {133-150}, timestamp = {2023-12-14T16:58:21.000+0100}, title = {Model-Based Verification and Validation of Properties.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs82.html#EngelsKHL03}, volume = 82, year = 2003 }