@inproceedings{55e126cfadc44e30af50b372f427259e,
title = "Model-Driven Consistency Checking of Behavioural Specifications",
keywords = "Conf.proc. > 3 pag",
author = "BS Graaf and {van Deursen}, A",
note = "Graaf:2007.mompes",
year = "2007",
language = "Undefined/Unknown",
isbn = "ISBN 0-7695-2769-8",
publisher = "IEEE",
pages = "115--126",
editor = "Fernandes, {Joao M.} and Machado, {Ricardo J.} and Ridha Khedri and Siobhan Clarke",
booktitle = "Proceedings Fourth International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2007)",
address = "United States",
}