Timed service contract automata
Basile, Davide; ter Beek, Maurice H.; Legay, Axel
- 期刊名称Innovations in Systems and Software Engineering
- 作者Basile, Davide; ter Beek, Maurice H.; Legay, Axel
- 印刷ISSN1614-5046
- 电子ISSN1614-5054
- 文件大小777.10KB
- 发表时间2019-8-29
- DOI10.1007/s11334-019-00353-3