Refinement Selection

Model Checking Software - Lecture Notes in Computer Science ◽

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

2015 ◽

pp. 20-38 ◽

Cited By ~ 18

Author(s):

Dirk Beyer ◽

Stefan Löwe ◽

Philipp Wendler

Download Full-text