Thomas Firley

	2005
5		Thomas Firley: Computing abstract models for verifying reactive systems. University of Braunschweig - Institute of Technology 2005: 1-125
	2002
4		Thomas Firley, Ursula Goltz: Property Dependent Abstraction of Control Structure for Software Verification. FME 2002: 511-530
	1999
3		Thomas Gehrke, Thomas Firley: Generative Sequence Diagrams with Textual Annotations. FBT 1999: 65-72
2		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
1		Thomas Firley, Thomas Gehrke, Arend Rensink: Spezifikation eines RPC-Speichers mit der Sprache ProFun. FBT 1998: 136-147

Coauthor Index

1	Karsten Diethers	[2]
2	Thomas Gehrke	[1] [2] [3]
3	Ursula Goltz	[2] [4]
4	Michaela Huhn	[2]
5	Arend Rensink	[1]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page