Publications

Details for HG03_ag

Title: Towards the Incremental Model Checking of Complex RealTime UML Models
Booktitle: Proc. of the first International Fujaba Days 2003, Kassel, Germany
Written by: M. Hirsch, H. Giese:
in: October 2003
Volume: tr-ri-04-247 Number:
on pages: 9-12
Chapter:
Editor: Holger Giese and Albert Zündorf
Publisher: University of Paderborn
Series: Technical Report
Address:
Edition:
ISBN:
how published:
Organization:
School:
Institution:
ISSN:
Doi:
File: FD03-HG.pdf
URL:

Note:

Abstract:

Eintrag als Bibtex exportieren

Imprint | Webmaster | Recent changes: 10.12.2010