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 |
Buďte první, kdo okomentuje tento záznam!