Formal Aspects of Computing

, Volume 19, Issue 4, pp 417-444

First online:

Minimal refinements of specifications in modal and temporal logics

  • Nikos GorogiannisAffiliated withSchool of Computing, University of the West of England
  • , Mark RyanAffiliated withSchool of Computer Science, University of Birmingham Email author 

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access