Verifying temporal properties using explicit approximants: Completeness for context-free processes (2002)
Cached
Download Links
- [www.tcs.informatik.uni-muenchen.de]
- [www2.tcs.ifi.lmu.de]
- [www.dcs.ed.ac.uk]
- [www.tcs.ifi.lmu.de]
- DBLP
Other Repositories/Bibliography
by
Alex Simpson
| Venue: | In FOSSACS '02 |
| Citations: | 5 - 0 self |
Document Versions
| Verifying temporal properties using explicit approximants: Completeness for context-free processes –Alex Simpson — 2002 — In FOSSACS '02 |
