Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes.

Ulrich Schpp, Alex K. Simpson

Browse the full FOSSACS paper archive.