[Zurück]

@inproceedings{TUW-233360,
    author = {Bill, Robert and Gabmeyer, Sebastian and Kaufmann, Petra and Seidl, Martina},
    title = {Model Checking of CTL-Extended OCL Specifications},
    booktitle = {Proceedings of the 7th International Conference on Software Language Engineering (SLE)},
    year = {2014},
    pages = {221--240},
    publisher = {Springer},
    address = {8706 of Lecture Notes in Computer Science},
    url = {http://link.springer.com/chapter/10.1007%2F978-3-319-11245-9_13},
    isbn = {978-3-319-11244-2},
    doi = {10.1007/978-3-319-11245-9},
    note = {Vortrag: International Conference on Software Language Engineering (SLE), V{\"a}steraas; 2014-09-15 -- 2014-09-16}
}