DMCA

Under consideration for publication in Formal Aspects of Computing Minimal refinements of specifications in modal and temporal logics

Cached

Download Links

by Nikos Gorogiannis , Mark Ryan