![](/img/cover-not-exists.png)
Communicating X-machines: a practical approach for formal and modular specification of large systems
Petros Kefalas, George Eleftherakis, Evangelos KehrisVolume:
45
Year:
2003
Language:
english
Pages:
12
DOI:
10.1016/s0950-5849(03)00018-1
File:
PDF, 371 KB
english, 2003