Verifying temporal properties using explicit approximants: Completeness for context-free processes (2002)

by Alex Simpson
Venue:In FOSSACS '02
Citations:5 - 0 self

Active Bibliography

No active bibliography identified.