Karsten Diethers (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Karsten Diethers, Michaela Huhn: Vooduu: Verification of Object-Oriented Designs Using UPPAAL. TACAS 2004: 139-143

1 Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz: Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. UML 1999: 645-660

Selection of 2 from 3 records - Karsten Diethers has 6 coauthors

3		Karsten Diethers, Michaela Huhn: Vooduu: Verification of Object-Oriented Designs Using UPPAAL. TACAS 2004: 139-143
1		Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz: Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. UML 1999: 645-660