Repair of boolean programs using games

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Games in Design and Verification
Herausgeber (Verlag)	.
Seiten	?-?
Publikationsstatus	Veröffentlicht - 2005
Veranstaltung	Games in Design and Verification - Edinburgh, Scotland, Großbritannien / Vereinigtes Königreich Dauer: 12 Juli 2005 → …

Konferenz	Games in Design and Verification
Land/Gebiet	Großbritannien / Vereinigtes Königreich
Ort	Edinburgh, Scotland
Zeitraum	12/07/05 → …

Treatment code (Nähere Zuordnung)

EU - Prosyd - Property-Based System Design
Jobstmann, B. (Teilnehmer / Mitarbeiter), Bloem, R. (Projektleiter), Pill, I. H. (Teilnehmer / Mitarbeiter), Griesmayer, A. (Teilnehmer / Mitarbeiter) & Staber, S. S. (Teilnehmer / Mitarbeiter)
1/01/04 → 31/12/06
Projekt: Forschungsprojekt

@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",

}