Minimal refinements of specifications in modal and temporal logics

N Gorogiannis, Mark Ryan

Research output: Contribution to journal › Article

Access to Document

@article{c0bb20e3f0624b02ad9829a68858d561,

title = "Minimal refinements of specifications in modal and temporal logics",

author = "N Gorogiannis and Mark Ryan",

year = "2007",

month = oct,

day = "17",

doi = "10.1007/s00165-007-0040-9",

language = "English",

volume = "19",

pages = "273",

journal = "Formal Aspects of Computing",

issn = "1433-299X",

publisher = "Springer",

number = "4",

}

TY - JOUR

T1 - Minimal refinements of specifications in modal and temporal logics

AU - Gorogiannis, N

AU - Ryan, Mark

PY - 2007/10/17

Y1 - 2007/10/17

U2 - 10.1007/s00165-007-0040-9

DO - 10.1007/s00165-007-0040-9

M3 - Article

SN - 1433-299X

VL - 19

SP - 273

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 4

ER -