Michaela Huhn

• Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz: Timed Sequence Diagrams and Tool-Based Analysis ­ A Case Study, Second International Conference on the Unified Modeling Language: UML'99, 1999, (BibTeX entry).
• K. Diethers, Ursula Goltz, Michaela Huhn: Model Checking UML Statecharts with Time, Workshop on Critical Systems Development with UML, 2002, (BibTeX entry).

Search other Bibliographies

• dblp: Computer Science Bibliography (University of Trier, Germany). (Note that this does not always work due to different naming schemes.)

[Home | Search Author | Search Title]
Contact: Paul Ziemann (ziemann@informatik.uni-bremen.de), last update: 10.5.2005.