| Original language | English |
|---|---|
| Publication status | Published - 28 Jun 2009 |
| Event | Workshop on Games for Design, Verification and Synthesis (GASICS) - Grenoble, France Duration: 28 Jun 2009 → … |
Conference
| Conference | Workshop on Games for Design, Verification and Synthesis (GASICS) |
|---|---|
| Country | France |
| City | Grenoble |
| Period | 28/06/09 → … |
Treatment code (Nähere Zuordnung)
- Basic - Fundamental (Grundlagenforschung)
- Application
- Theoretical
- Experimental
Cite this
Könighofer, R., Hofferek, G., & Bloem, R. P. (2009). Debugging Unrealizable Specifications Using Simple Counterstrategies. Workshop on Games for Design, Verification and Synthesis (GASICS), Grenoble, France.
Debugging Unrealizable Specifications Using Simple Counterstrategies. / Könighofer, Robert; Hofferek, Georg; Bloem, Roderick Paul.
2009. Workshop on Games for Design, Verification and Synthesis (GASICS), Grenoble, France.Research output: Contribution to conference › (Old data) Lecture or Presentation › Research
Könighofer, R, Hofferek, G & Bloem, RP 2009, 'Debugging Unrealizable Specifications Using Simple Counterstrategies' Workshop on Games for Design, Verification and Synthesis (GASICS), Grenoble, France, 28/06/09, .
Könighofer R, Hofferek G, Bloem RP. Debugging Unrealizable Specifications Using Simple Counterstrategies. 2009. Workshop on Games for Design, Verification and Synthesis (GASICS), Grenoble, France.
@conference{b9e1be3f78c14e2da8feddace8e21e2f,
title = "Debugging Unrealizable Specifications Using Simple Counterstrategies",
author = "Robert K{\"o}nighofer and Georg Hofferek and Bloem, {Roderick Paul}",
year = "2009",
month = "6",
day = "28",
language = "English",
note = "Workshop on Games for Design, Verification and Synthesis (GASICS) ; Conference date: 28-06-2009",
}
TY - CONF
T1 - Debugging Unrealizable Specifications Using Simple Counterstrategies
AU - Könighofer, Robert
AU - Hofferek, Georg
AU - Bloem, Roderick Paul
PY - 2009/6/28
Y1 - 2009/6/28
UR - http://www.lsv.ens-cachan.fr/Events/gasics09/
M3 - (Old data) Lecture or Presentation
ER -