Daniela Remenska, Tim A. C. Willemse, Jeff Templon, Kees Verstoep, Henri E. Bal. Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs. In Erika Ábrahám, Catuscia Palamidessi, editors, Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings. Volume 8461 of Lecture Notes in Computer Science, pages 17-32, Springer, 2014. [doi]
@inproceedings{RemenskaWTVB14, title = {Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs}, author = {Daniela Remenska and Tim A. C. Willemse and Jeff Templon and Kees Verstoep and Henri E. Bal}, year = {2014}, doi = {10.1007/978-3-662-43613-4_2}, url = {http://dx.doi.org/10.1007/978-3-662-43613-4_2}, researchr = {https://researchr.org/publication/RemenskaWTVB14}, cites = {0}, citedby = {0}, pages = {17-32}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings}, editor = {Erika Ábrahám and Catuscia Palamidessi}, volume = {8461}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-662-43612-7}, }