Kacprzak, M and Lomuscio, A and Penczek, W (2004) Bounded versus Unbounded model checking for Interpreted Systems. Fundamenta Informaticae
Full text not available from this repository.
| Type: | Article |
|---|---|
| Title: | Bounded versus Unbounded model checking for Interpreted Systems. |
| UCL classification: | UCL > School of BEAMS > Faculty of Engineering Science > Computer Science |
Archive Staff Only: edit this record