Minimal refinements of specifications in modal and temporal logics

Article

Gorogiannis, N. and Ryan, M. 2007. Minimal refinements of specifications in modal and temporal logics. Formal Aspects of Computing. 19 (4), pp. 417-444. https://doi.org/10.1007/s00165-007-0040-9
TypeArticle
TitleMinimal refinements of specifications in modal and temporal logics
AuthorsGorogiannis, N. and Ryan, M.
Research GroupArtificial Intelligence group
Foundations of Computing group
JournalFormal Aspects of Computing
ISSN0934-5043
Publication dates
Print2007
Publication process dates
Deposited12 May 2015
Output statusPublished
Copyright Statement

Access to full text restricted pending copyright check.

Digital Object Identifier (DOI)https://doi.org/10.1007/s00165-007-0040-9
LanguageEnglish
Permalink -

https://repository.mdx.ac.uk/item/854w7

Log in to edit
File access - Request a copy

Restricted files

Accepted author manuscript

  • 18
    total views
  • 0
    total downloads
  • 0
    views this month
  • 0
    downloads this month

Export as