%0 Conference Paper %1 conf/mompes/GraafD07 %A Graaf, Bas %A van Deursen, Arie %B MOMPES %D 2007 %E Fernandes, João M. %E Machado, Ricardo Jorge %E Khédri, Ridha %E Clarke, Siobhán %I IEEE Computer Society %K dblp %P 115-126 %T Model-Driven Consistency Checking of Behavioural Specifications. %U http://dblp.uni-trier.de/db/conf/mompes/mompes2007.html#GraafD07 %@ 0-7695-2769-8

@inproceedings{conf/mompes/GraafD07, added-at = {2023-03-23T00:00:00.000+0100}, author = {Graaf, Bas and van Deursen, Arie}, biburl = {https://www.bibsonomy.org/bibtex/2b06d9591cf76b999a049dc9dc86c85c2/dblp}, booktitle = {MOMPES}, crossref = {conf/mompes/2007}, editor = {Fernandes, João M. and Machado, Ricardo Jorge and Khédri, Ridha and Clarke, Siobhán}, ee = {https://www.wikidata.org/entity/Q57908832}, interhash = {4a569b121f95e60c01e37bfd4dcd904d}, intrahash = {b06d9591cf76b999a049dc9dc86c85c2}, isbn = {0-7695-2769-8}, keywords = {dblp}, pages = {115-126}, publisher = {IEEE Computer Society}, timestamp = {2024-04-09T19:20:57.000+0200}, title = {Model-Driven Consistency Checking of Behavioural Specifications.}, url = {http://dblp.uni-trier.de/db/conf/mompes/mompes2007.html#GraafD07}, year = 2007 }