Formal Aspects of Computing

, Volume 19, Issue 4, pp 417–444

Minimal refinements of specifications in modal and temporal logics


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

Copyright information

© British Computer Society 2007

Authors and Affiliations

  1. 1.School of ComputingUniversity of the West of EnglandBristolUK
  2. 2.School of Computer ScienceUniversity of BirminghamBirminghamUK