Publications
Details for HHP08_ag
| Title: Hybrid Model Checking with the FUJABA Real-Time Tool Suite |
| Booktitle: Proc. of the 6th International Fujaba Days 2008, Dresden, Germany |
| Written by: S. Henkler, M. Hirsch, C. Priesterjahn: |
| in: September 2008 |
| Volume: Number: |
| on pages: 40-43 |
| Chapter: |
| Editor: Uwe Aßmann and Jendrik Johannes and Albert Zündorf |
| Publisher: |
| Series: |
| Address: |
| Edition: |
| ISBN: |
| how published: |
| Organization: |
| School: |
| Institution: |
| ISSN: |
| Doi: |
| File: fdays08-phaver.pdf |
| URL: |
Note:
Abstract:
Eintrag als Bibtex exportieren