Minimal refinements of specifications in modal and temporal logics

Research output: Contribution to journalArticle

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Pages (from-to)273
Number of pages1
JournalFormal Aspects of Computing
Volume19
Issue number4
Early online date29 Jun 2007
Publication statusPublished - 17 Oct 2007