From Helena Ensemble Specifications to Promela Verification Models.
Uloženo v:
| Název: | From Helena Ensemble Specifications to Promela Verification Models. |
|---|---|
| Autoři: | Klarl, Annabelle |
| Zdroj: | Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings; 2015, p39-45, 7p |
| Databáze: | Complementary Index |
| ISBN: | 9783319234038 |
|---|---|
| DOI: | 10.1007/978-3-319-23404-5_4 |