From Helena Ensemble Specifications to Promela Verification Models.
Saved in:
| Title: | From Helena Ensemble Specifications to Promela Verification Models. |
|---|---|
| Authors: | Klarl, Annabelle |
| Source: | Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings; 2015, p39-45, 7p |
| Database: | Complementary Index |
| ISBN: | 9783319234038 |
|---|---|
| DOI: | 10.1007/978-3-319-23404-5_4 |