@inproceedings{Gawlitza07Computing,
  author = {Thomas Gawlitza and Helmut Seidl},
  title = {Computing {G}ame {V}alues for {C}rash {G}ames},
  booktitle = {Automated Technology for Verification and Analysis},
  editor = {Kedar S. Namjoshi and Tomohiro Yoneda and Teruo Higashino and Yoshio Okamura},
  month = {October},
  year = 2007,
  pages = {177-191},
  series = {Lecture Notes in Computer Science},
  volume = {4762},
  publisher = {Springer},
  address = {Tokyo, Japan},
}