dblp.uni-trier.dewww.uni-trier.de

Thomas Firley

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002
4EEThomas 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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)