Thomas Gawlitza

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007

3 EE Thomas Gawlitza, Helmut Seidl: Computing Game Values for Crash Games. ATVA 2007: 177-191

2 EE Thomas Gawlitza, Helmut Seidl: Precise Relational Invariants Through Strategy Iteration. CSL 2007: 23-40

1 EE Thomas Gawlitza, Helmut Seidl: Precise Fixpoint Computation Through Strategy Iteration. ESOP 2007: 300-315

2007
3	EE	Thomas Gawlitza, Helmut Seidl: Computing Game Values for Crash Games. ATVA 2007: 177-191
2	EE	Thomas Gawlitza, Helmut Seidl: Precise Relational Invariants Through Strategy Iteration. CSL 2007: 23-40
1	EE	Thomas Gawlitza, Helmut Seidl: Precise Fixpoint Computation Through Strategy Iteration. ESOP 2007: 300-315

Coauthor Index

1 Helmut Seidl [1] [2] [3]