- CSB - MetaPress - Google - Bing - Yahoo
 | 2005 | |
|---|---|---|
| b1 |      | Thomas Firley: Computing abstract models for verifying reactive systems. University of Braunschweig - Institute of Technology 2005, isbn 3-8322-4335-6, pp. 1-125 |
| 2002 | ||
| c4 |  | Thomas Firley, Ursula Goltz: Property Dependent Abstraction of Control Structure for Software Verification. FME 2002: 511-530 |
| 1999 | ||
| c3 | | Thomas Gehrke, Thomas Firley: Generative Sequence Diagrams with Textual Annotations. FBT 1999: 65-72 |
| c2 | | Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz: Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. UML 1999: 645-660 |
| 1998 | ||
| c1 | | Thomas Firley, Thomas Gehrke, Arend Rensink: Spezifikation eines RPC-Speichers mit der Sprache ProFun. FBT 1998: 136-147 |
| 1 | Karsten Diethers | |
| 2 | Thomas Gehrke | |
| 3 | Ursula Goltz | |
| 4 | Michaela Huhn | |
| 5 | Arend Rensink |
Data released under the ODC-BY 1.0 license — See also our legal information page