Perfect Model Checking via Unfold/Fold Transformations (2000)
Cached
Download Links
- [web.comlab.ox.ac.uk]
- [www.iasi.rm.cnr.it]
- DBLP
Other Repositories/Bibliography
by
Alberto Pettorossi
,
Maurizio Proietti
| Venue: | In Computational Logic, LNCS 1861 |
| Citations: | 8 - 5 self |
Document Versions
| Perfect Model Checking via Unfold/Fold Transformations –Alberto Pettorossi, Maurizio Proietti — 2000 — In Computational Logic, LNCS 1861 |
| Perfect Model Checking via Unfold/Fold Transformations –Alberto Pettorossi, Maurizio Proietti — 2000 — In Computational Logic, LNCS 1861 |
