Symbolic String Verification: An Automata-Based Approach

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-540-85114-1_21 ◽

2008 ◽

pp. 306-324 ◽

Cited By ~ 40

Author(s):

Fang Yu ◽

Tevfik Bultan ◽

Marco Cova ◽

Oscar H. Ibarra

Download Full-text