![](/img/cover-not-exists.png)
[IEEE 2015 15th International Conference on Application of Concurrency to System Design (ACSD) - Brussels, Belgium (2015.6.21-2015.6.26)] 2015 15th International Conference on Application of Concurrency to System Design - Building a Symbolic Model Checker from Formal Language Description
Bobeda, Edmundo Lopez, Colange, Maximilien, Buchs, DidierYear:
2015
Language:
english
DOI:
10.1109/acsd.2015.10
File:
PDF, 443 KB
english, 2015