On a time enriched OCL liveness template

Research output: Contribution to journalArticlepeer-review

Cite this