[Back]


Talks and Poster Presentations (with Proceedings-Entry):

R. Bill, S. Gabmeyer, P. Kaufmann, M. Seidl:
"Model Checking of CTL-Extended OCL Specifications";
Talk: International Conference on Software Language Engineering (SLE), Västeraas; 2014-09-15 - 2014-09-16; in: "Proceedings of the 7th International Conference on Software Language Engineering (SLE)", Springer, 8706 of Lecture Notes in Computer Science (2014), ISBN: 978-3-319-11244-2; 221 - 240.



"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-11245-9

Electronic version of the publication:
http://link.springer.com/chapter/10.1007%2F978-3-319-11245-9_13


Created from the Publication Database of the Vienna University of Technology.