Back to Search
Start Over
Family-Based Model Checking of SPL based on mCRL2.
- Source :
- ACM International Conference Proceeding Series; 9/25/2017, p13-16, 4p
- Publication Year :
- 2017
Details
- Language :
- English
- Database :
- Complementary Index
- Journal :
- ACM International Conference Proceeding Series
- Publication Type :
- Conference
- Accession number :
- 128528547
- Full Text :
- https://doi.org/10.1145/3109729.3109758