Synthesising Features by Games

Dimitar Guelev; Mark Ryan; P-Y Schobbens

doi:10.1016/j.entcs.2005.10.006

Synthesising Features by Games

Dimitar Guelev
, Mark Ryan
, P-Y Schobbens

Computer Science

Research output: Contribution to conference (unpublished) › Paper

3 Citations (Scopus)

Original language	English
Pages	79-93
Number of pages	15
DOIs	https://doi.org/10.1016/j.entcs.2005.10.006
Publication status	Published - 14 Jan 2006
Event	Proceedings of 5th International Workshop on Automated Verification of Critical Systems (AVoCS 2005), Warwick University, September 2005, R Lazic and R Nagarajan (Editors) - Duration: 14 Jan 2006 → …

Conference

Conference	Proceedings of 5th International Workshop on Automated Verification of Critical Systems (AVoCS 2005), Warwick University, September 2005, R Lazic and R Nagarajan (Editors)
Period	14/01/06 → …

Access to Document

10.1016/j.entcs.2005.10.006

Cite this

@conference{853e50b04a854ca7a1220d60e0b25b0c,

title = "Synthesising Features by Games",

author = "Dimitar Guelev and Mark Ryan and P-Y Schobbens",

year = "2006",

month = jan,

day = "14",

doi = "10.1016/j.entcs.2005.10.006",

language = "English",

pages = "79--93",

note = "Proceedings of 5th International Workshop on Automated Verification of Critical Systems (AVoCS 2005), Warwick University, September 2005, R Lazic and R Nagarajan (Editors) ; Conference date: 14-01-2006",

}

TY - CONF

T1 - Synthesising Features by Games

AU - Guelev, Dimitar

AU - Ryan, Mark

AU - Schobbens, P-Y

PY - 2006/1/14

Y1 - 2006/1/14

UR - https://www.scopus.com/pages/publications/30344434329

U2 - 10.1016/j.entcs.2005.10.006

DO - 10.1016/j.entcs.2005.10.006

M3 - Paper

SP - 79

EP - 93

T2 - Proceedings of 5th International Workshop on Automated Verification of Critical Systems (AVoCS 2005), Warwick University, September 2005, R Lazic and R Nagarajan (Editors)

Y2 - 14 January 2006

ER -