Publications

Details for hir04_ag

Title: Effizientes Model Checking von UML-RT Modellen und Realtime Statecharts mit UPPAAL
Booktitle:
Written by: M. Hirsch:
in: June 2004
Volume: Number:
on pages:
Chapter:
Editor:
Publisher:
Series:
Address:
Edition:
ISBN:
how published:
Organization:
School: University of Paderborn
Institution:
ISSN:
Doi:
File: DiplomMHirsch.pdf
URL:

Note:

Abstract:

Eintrag als Bibtex exportieren

Imprint | Webmaster | Recent changes: 10.12.2010