Repair of boolean programs using games

Andreas Griesmayer, Roderick Paul Bloem

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelGames in Design and Verification
Herausgeber (Verlag).
Seiten?-?
PublikationsstatusVeröffentlicht - 2005
VeranstaltungGames in Design and Verification - Edinburgh, Scotland, Großbritannien / Vereinigtes Königreich
Dauer: 12 Jul 2005 → …

Konferenz

KonferenzGames in Design and Verification
LandGroßbritannien / Vereinigtes Königreich
OrtEdinburgh, Scotland
Zeitraum12/07/05 → …

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Dieses zitieren