Minimal refinements of specifications in modal and temporal logics
Gorogiannis, Nikos 
ORCID: https://orcid.org/0000-0001-8660-6609 and Ryan, Mark
(2007)
Minimal refinements of specifications in modal and temporal logics.
Formal Aspects of Computing, 19
(4)
.
pp. 417-444.
ISSN 0934-5043
[Article]
(doi:10.1007/s00165-007-0040-9)
![[img]](https://eprints.mdx.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
- Final accepted version (with author's formatting)
Restricted to Repository staff and depositor only Download (467kB) |
Official URL: http://dx.doi.org/10.1007/s00165-007-0040-9
| Item Type: | Article |
|---|---|
| Research Areas: | A. > School of Science and Technology > Computer Science > Artificial Intelligence group A. > School of Science and Technology > Computer Science > Foundations of Computing group |
| Item ID: | 15917 |
| Notes on copyright: | Access to full text restricted pending copyright check. |
| Depositing User: | Nikos Gkorogiannis |
| Date Deposited: | 12 May 2015 12:10 |
| Last Modified: | 30 Nov 2022 02:02 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/15917 |
Actions (login required)
 |
View Item |
Statistics
Downloads
Activity Overview
6 month trend
6 month trend
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)