Gorogiannis, N and Ryan, M (2007) Minimal refinements of specifications in modal and temporal logics. Formal Asp. Comput. , 19 , Article 4. 10.1007/s00165-007-0040-9.
Full text not available from this repository.
| Type: | Article |
|---|---|
| Title: | Minimal refinements of specifications in modal and temporal logics. |
| DOI: | 10.1007/s00165-007-0040-9 |
| UCL classification: | UCL > School of BEAMS > Faculty of Engineering Science > Computer Science |
Archive Staff Only: edit this record