Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes (2002)

by Ulrich Schöpp , Alex Simpson
Venue:In FOSSACS '02
Citations:2 - 1 self