[Zurück]

@inproceedings{TUW-221651,
    author = {Bill, Robert and Gabmeyer, Sebastian and Kaufmann, Petra and Seidl, Martina},
    title = {OCL meets CTL: Towards CTL-Extended OCL Model Checking},
    booktitle = {Proceedings of the MODELS 2013 OCL Workshop},
    year = {2013},
    pages = {13--22},
    journal = {CEUR Workshop Proceedings},
    volume = {Vol-1092},
    url = {http://publik.tuwien.ac.at/files/PubDat_221651.pdf},
    issn = {1613-0073},
    note = {Vortrag: 13th International Workshop on OCL, Model Constraint and Query Languages (OCL 2013), Miami, USA; 2013-09-30}
}