![](/img/cover-not-exists.png)
[IEEE 2018 18th International Conference on Application of Concurrency to System Design (ACSD) - Bratislava, Slovakia (2018.6.25-2018.6.29)] 2018 18th International Conference on Application of Concurrency to System Design (ACSD) - Complexity of Reachability for Data-Aware Dynamic Systems
Abdulla, Parosh Aziz, Aiswarya, C., Atig, Mohamed Faouzi, Montali, Marco, Rezine, OthmaneYear:
2018
Language:
english
DOI:
10.1109/ACSD.2018.000-3
File:
PDF, 276 KB
english, 2018