Proceedings of the MODELS 2013 OCL Workshop

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Proceedings of the MODELS 2013 OCL Workshop
 
Publisher Herausgeber
CEUR Workshop Proceedings
 
Place of publishing Erscheinungsort
Vol-1092
 
Series Schriftenreihe
CEUR Workshop Proceedings
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bill, Robert ; Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina OCL meets CTL: Towards CTL-Extended OCL Model CheckingKonferenzbeitrag Inproceedings 2013