Repair of boolean programs using games

Andreas Griesmayer, Roderick Paul Bloem

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationGames in Design and Verification
Publisher.
Pages?-?
Publication statusPublished - 2005
EventGames in Design and Verification - Edinburgh, Scotland, United Kingdom
Duration: 12 Jul 2005 → …

Conference

ConferenceGames in Design and Verification
CountryUnited Kingdom
CityEdinburgh, Scotland
Period12/07/05 → …

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Cite this

Griesmayer, A., & Bloem, R. P. (2005). Repair of boolean programs using games. In Games in Design and Verification (pp. ?-?). ..

Repair of boolean programs using games. / Griesmayer, Andreas; Bloem, Roderick Paul.

Games in Design and Verification. ., 2005. p. ?-?.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Griesmayer, A & Bloem, RP 2005, Repair of boolean programs using games. in Games in Design and Verification. ., pp. ?-?, Games in Design and Verification, Edinburgh, Scotland, United Kingdom, 12/07/05.
Griesmayer A, Bloem RP. Repair of boolean programs using games. In Games in Design and Verification. . 2005. p. ?-?
Griesmayer, Andreas ; Bloem, Roderick Paul. / Repair of boolean programs using games. Games in Design and Verification. ., 2005. pp. ?-?
@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 = ".",

}

TY - GEN

T1 - Repair of boolean programs using games

AU - Griesmayer, Andreas

AU - Bloem, Roderick Paul

PY - 2005

Y1 - 2005

M3 - Conference contribution

SP - ?-?

BT - Games in Design and Verification

PB - .

ER -