Bas Graaf, Arie van Deursen. Model-Driven Consistency Checking of Behavioural Specifications. In João M. Fernandes, Ricardo Jorge Machado, Ridha Khédri, siobhán-clarke, editors, Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings. pages 115-126, IEEE Computer Society, 2007. [doi]
@inproceedings{GraafD07-0, title = {Model-Driven Consistency Checking of Behavioural Specifications}, author = {Bas Graaf and Arie van Deursen}, year = {2007}, doi = {10.1109/MOMPES.2007.12}, url = {http://dx.doi.org/10.1109/MOMPES.2007.12}, tags = {model checking, meta-model, consistency, Meta-Environment}, researchr = {https://researchr.org/publication/GraafD07-0}, cites = {0}, citedby = {0}, pages = {115-126}, booktitle = {Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings}, editor = {João M. Fernandes and Ricardo Jorge Machado and Ridha Khédri and siobhán-clarke}, publisher = {IEEE Computer Society}, isbn = {0-7695-2769-8}, }