Formal Aspects of Computing

, Volume 19, Issue 4, pp 417–444

Minimal refinements of specifications in modal and temporal logics

ORIGINAL ARTICLE
  • 39 Downloads

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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

Personalised recommendations