Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl. OCL meets CTL: Towards CTL-Extended OCL Model Checking. In Jordi Cabot, Martin Gogolla, István Ráth, Edward D. Willink, editors, Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 30, 2013. Volume 1092 of CEUR Workshop Proceedings, pages 13-22, CEUR-WS.org, 2013. [doi]
@inproceedings{BillGKS13,
title = {OCL meets CTL: Towards CTL-Extended OCL Model Checking},
author = {Robert Bill and Sebastian Gabmeyer and Petra Kaufmann and Martina Seidl},
year = {2013},
url = {http://ceur-ws.org/Vol-1092/bill.pdf},
researchr = {https://researchr.org/publication/BillGKS13},
cites = {0},
citedby = {0},
pages = {13-22},
booktitle = {Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 30, 2013},
editor = {Jordi Cabot and Martin Gogolla and István Ráth and Edward D. Willink},
volume = {1092},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}