|
Search the dblp DataBase
Thomas Firley:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Thomas Firley, Thomas Gehrke, Arend Rensink
Spezifikation eines RPC-Speichers mit der Sprache ProFun. [Citation Graph (0, 0)][DBLP] FBT, 1998, pp:136-147 [Conf]
- Thomas Gehrke, Thomas Firley
Generative Sequence Diagrams with Textual Annotations. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:65-72 [Conf]
- Thomas Firley, Ursula Goltz
Property Dependent Abstraction of Control Structure for Software Verification. [Citation Graph (0, 0)][DBLP] FME, 2002, pp:511-530 [Conf]
- Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz
Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. [Citation Graph (0, 0)][DBLP] UML, 1999, pp:645-660 [Conf]
Search in 0.001secs, Finished in 0.001secs
|