%0 Journal Article %1 journals/cmot/JonkerSTY07 %A Jonker, Catholijn M. %A Schut, Martijn C. %A Treur, Jan %A Yolum, Pinar %D 2007 %J Computational & Mathematical Organization Theory %K case_study formal model_checking %N 3 %P 283-314 %T Analysis of meeting protocols by formalisation, simulation, and verification. %U http://dblp.uni-trier.de/db/journals/cmot/cmot13.html\#JonkerSTY07 %V 13

@article{journals/cmot/JonkerSTY07, added-at = {2011-03-04T18:56:16.000+0100}, author = {Jonker, Catholijn M. and Schut, Martijn C. and Treur, Jan and Yolum, Pinar}, biburl = {https://www.bibsonomy.org/bibtex/27eaa4ee0250039bc37fcb45102f982fe/davef}, ee = {http://dx.doi.org/10.1007/s10588-006-9001-8}, interhash = {7e65c5b5de3e54aeeb9dcf78d1527d4d}, intrahash = {7eaa4ee0250039bc37fcb45102f982fe}, journal = {Computational & Mathematical Organization Theory}, keydf = {caseStudy2}, keywords = {case_study formal model_checking}, number = 3, pages = {283-314}, timestamp = {2012-02-22T12:07:36.000+0100}, title = {Analysis of meeting protocols by formalisation, simulation, and verification.}, url = {http://dblp.uni-trier.de/db/journals/cmot/cmot13.html\#JonkerSTY07}, volume = 13, year = 2007 }