, Volume 19, Issue 4, pp 417-444
Date: 29 Jun 2007

Minimal refinements of specifications in modal and temporal logics

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access
A. Sernadas