Communicating X-machines: A practical approach for formal and modular specification of large systems
- Petros Kefalas
- , George Eleftherakis
- , Evangelos Kehris
Research output: Contribution to journal › Article › peer-review
23
Link opens in a new tab
Scopus
citations