From Helena Ensemble Specifications to Promela Verification Models

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23404-5_4 ◽

2015 ◽

pp. 39-45 ◽

Cited By ~ 1

Author(s):

Annabelle Klarl

Download Full-text