13th International Workshop on OCL, Model Constraint and Query Languages (OCL 2013)
Event name
13th International Workshop on OCL, Model Constraint and Query Languages (OCL 2013)
Start date
30-09-2013
Location
Miami, USA
Country
Event format Veranstaltungsformat
On Site
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 |