Publications

Details for HHZ09_ag

Title: Specification and Refinement Checking of Dynamic Systems
Booktitle: Proceedings of the 7th International Fujaba Days
Written by: C. Heinzemann, S. Henkler, A. Zündorf:
in: November 2009
Volume: Number:
on pages: 6-10
Chapter:
Editor: Pieter Van Gorp
Publisher:
Series:
Address: Eindhoven University of Technology, The Netherlands
Edition:
ISBN:
how published:
Organization:
School:
Institution:
ISSN:
Doi:
File: FDAYS09_HHZ_Pre.pdf
URL:

Note:

Abstract:

Eintrag als Bibtex exportieren

Imprint | Webmaster | Recent changes: 10.12.2010