%0 Conference Paper %1 engels_01_methodology %A Engels, Gregor %A Küster, Jochen M. %A Heckel, Reiko %A Groenewegen, Luuk %B ESEC/FSE-9: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering %C New York, NY, USA %D 2001 %I ACM Press %K statecharts object fdr csp 2001 umlrt %N 5 %P 186--195 %R 10.1145/503209.503235 %T A methodology for specifying and analyzing consistency of object-oriented behavioral models %U http://dx.doi.org/10.1145/503209.503235 %V 26 %@ 1581133901

@inproceedings{engels_01_methodology, added-at = {2009-02-11T22:25:23.000+0100}, address = {New York, NY, USA}, author = {Engels, Gregor and K"{u}ster, Jochen M. and Heckel, Reiko and Groenewegen, Luuk}, biburl = {https://www.bibsonomy.org/bibtex/215cfabd738446979c95e7fbe860204de/leonardo}, booktitle = {ESEC/FSE-9: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering}, citeulike-article-id = {573565}, doi = {10.1145/503209.503235}, interhash = {ea92af877c631ae8a99d6d2495038e68}, intrahash = {15cfabd738446979c95e7fbe860204de}, isbn = {1581133901}, keywords = {statecharts object fdr csp 2001 umlrt}, month = {September}, number = 5, pages = {186--195}, posted-at = {2006-04-03 02:50:56}, priority = {3}, publisher = {ACM Press}, timestamp = {2009-02-11T22:25:23.000+0100}, title = {A methodology for specifying and analyzing consistency of object-oriented behavioral models}, url = {http://dx.doi.org/10.1145/503209.503235}, volume = 26, year = 2001 }