Proceedings of the MODELS 2013 OCL Workshop
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
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Bill, Robert ; Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina | OCL meets CTL: Towards CTL-Extended OCL Model Checking | Konferenzbeitrag Inproceedings  | 2013 |