Repair of boolean programs using games

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Games in Design and Verification
Publisher	.
Pages	?-?
Publication status	Published - 2005
Event	Games in Design and Verification - Edinburgh, Scotland, United Kingdom Duration: 12 Jul 2005 → …

Conference	Games in Design and Verification
Country/Territory	United Kingdom
City	Edinburgh, Scotland
Period	12/07/05 → …

Treatment code (Nähere Zuordnung)

EU - Prosyd - Property-Based System Design
Pill, I. H., Staber, S. S., Griesmayer, A., Jobstmann, B. & Bloem, R.
1/01/04 → 31/12/06
Project: Research project

@inproceedings{05ffb035881e48978b132b39525b9371,

title = "Repair of boolean programs using games",

author = "Andreas Griesmayer and Bloem, {Roderick Paul}",

year = "2005",

language = "English",

pages = "?--?",

booktitle = "Games in Design and Verification",

publisher = ".",

note = "Games in Design and Verification ; Conference date: 12-07-2005",

}