Construction and SAT-Based Verification of Contextual Unfoldings

Descriptional Complexity of Formal Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22600-7_3 ◽

2011 ◽

pp. 34-42 ◽

Cited By ~ 1

Author(s):

Stefan Schwoon ◽

César Rodríguez

Download Full-text