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