| Original language | Undefined |
|---|---|
| Title of host publication | Staf Workshop on Verification of Model Transformations |
| Publication status | Published - 2015 |
Temporal logic specification and analysis for model transformations
Sobhan Yassipour Tehrani, Kevin Charles Lano
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review