Model-checking the Preservation of Temporal Properties upon Feature Integration

DP Guelev, Mark Ryan, PY Schobbens

Research output: Contribution to journal › Article

4 Citations (Scopus)

Original language	English
Pages (from-to)	53-62
Number of pages	10
Journal	International Journal on Software Tools for Technology Transfer
Volume	9
Issue number	1
Early online date	26 Sept 2006
DOIs	https://doi.org/10.1007/s10009-006-0006-x
Publication status	Published - 7 Feb 2007

Access to Document

@article{50461e83c9dc4abe84d105ddae3d15a5,

title = "Model-checking the Preservation of Temporal Properties upon Feature Integration",

author = "DP Guelev and Mark Ryan and PY Schobbens",

year = "2007",

month = feb,

day = "7",

doi = "10.1007/s10009-006-0006-x",

language = "English",

volume = "9",

pages = "53--62",

journal = "International Journal on Software Tools for Technology Transfer",

publisher = "Springer",

number = "1",

}

TY - JOUR

T1 - Model-checking the Preservation of Temporal Properties upon Feature Integration

AU - Guelev, DP

AU - Ryan, Mark

AU - Schobbens, PY

PY - 2007/2/7

Y1 - 2007/2/7

U2 - 10.1007/s10009-006-0006-x

DO - 10.1007/s10009-006-0006-x

M3 - Article

VL - 9

SP - 53

EP - 62

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

IS - 1

ER -