Synthesis: Words and Traces

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15643-4_3 ◽

2010 ◽

pp. 18-21

Author(s):

Igor Walukiewicz

Download Full-text