Formal Aspects of Computing

, Volume 19, Issue 4, pp 417–444

Minimal refinements of specifications in modal and temporal logics

Authors

  • Nikos Gorogiannis
    • School of ComputingUniversity of the West of England
    • School of Computer ScienceUniversity of Birmingham
ORIGINAL ARTICLE

DOI: 10.1007/s00165-007-0040-9

Cite this article as:
Gorogiannis, N. & Ryan, M. Form Asp Comp (2007) 19: 417. doi:10.1007/s00165-007-0040-9
  • 38 Views

Copyright information

© British Computer Society 2007