On a time enriched OCL liveness template

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)

Cite this