Synthesising Features by Games

Dimitar Guelev, Mark Ryan, P-Y Schobbens

Research output: Contribution to conference (unpublished)Paper

3 Citations (Scopus)

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 → …

Cite this