Verification of the Schorr-Waite Algorithm – From Trees to Graphs

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-20551-4_5 ◽

2011 ◽

pp. 67-83 ◽

Cited By ~ 9

Author(s):

Mathieu Giorgino ◽

Martin Strecker ◽

Ralph Matthes ◽

Marc Pantel

Download Full-text