Synthesising Features by Games

Research output: Contribution to conference (unpublished)Paper

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Pages79-93
Number of pages15
Publication statusPublished - 14 Jan 2006
EventProceedings 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

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