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