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] PDF - Final accepted version (with author's formatting)
Restricted to Repository staff and depositor only

Download (467kB)
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: 23 Jun 2021 11:16
URI: https://eprints.mdx.ac.uk/id/eprint/15917

Actions (login required)

View Item View Item

Statistics

Downloads
Activity Overview
1Download
295Hits

Additional statistics are available via IRStats2.