![](/img/cover-not-exists.png)
AIP Conference Proceedings [AIP Publishing LLC INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2015 (ICCMSE 2015) - Athens, Greece (20–23 March 2015)] - Action-based verification of RTCP-nets with CADP
Biernacki, Jerzy, Biernacka, Agnieszka, Szpyrka, MarcinVolume:
1702
Year:
2015
Language:
english
DOI:
10.1063/1.4938887
File:
PDF, 697 KB
english, 2015