 | 1996 |
|---|
| 9 |       | Edmund M. Clarke,
Somesh Jha,
Reinhard Enders,
Thomas Filkorn:
Exploiting Symmetry in Temporal Logic Model Checking.
Formal Methods in System Design 9(1/2): 77-104 (1996) |
| 1995 |
|---|
| 8 |  | Jürgen Dingel,
Thomas Filkorn:
Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving.
CAV 1995: 54-69 |
| 1994 |
|---|
| 7 | | Klaus Winkelmann,
Thomas Filkorn:
System Verification Environment - SVE.
FTRTFT 1994: 783-783 |
| 1993 |
|---|
| 6 | | Edmund M. Clarke,
Thomas Filkorn,
Somesh Jha:
Exploiting Symmetry In Temporal Logic Model Checking.
CAV 1993: 450-462 |
| 5 | | Reinhard Enders,
Thomas Filkorn,
Dirk Taubner:
Generating BDDs for Symbolic Model Checking in CCS.
Distributed Computing 6(3): 155-164 (1993) |
| 1991 |
|---|
| 4 | | Reinhard Enders,
Thomas Filkorn,
Dirk Taubner:
Generating BDDs for Symbolic Model Checking in CCS.
CAV 1991: 203-213 |
| 3 | | Thomas Filkorn:
Functional Extension of Symbolic Model Checking.
CAV 1991: 225-232 |
| 2 | | Thomas Filkorn,
Richard Schmid,
Erik Tidén,
Peter Warkentin:
Experiences from a Large Industrial Circuit Design Application.
ISLP 1991: 581-595 |
| 1989 |
|---|
| 1 | | Richard Schmid,
Hans-Albert Schneider,
Thomas Filkorn:
Using an Extended PROLOG to Solve the Lion and Unicorn Puzzle.
J. Autom. Reasoning 5(3): 403-408 (1989) |
