[Zurück]

@techreport{TUW-234915,
    author = {Bill, Robert and Gabmeyer, Sebastian and Kaufmann, Petra and Seidl, Martina},
    title = {MocOCL: A Model Checker for CTL-Extended OCL Specifications},
    institution = {E194 - Institut f{\"u}r Information Systems Engineering; Technische Universit{\"a}t Wien},
    year = {2014},
    url = {http://publik.tuwien.ac.at/files/PubDat_234915.pdf},
    keywords = {model based engineering, verification, model checking, OCL}
}