Publications
Details for GSTBSF03_ag
| Title: Towards the Compositional Verification of Real-Time UML Designs |
| Booktitle: |
| Written by: H. Giese, D. Schilling, M. Tichy, S. Burmester, W. Schäfer, S. Flake: |
| in: July 2003 |
| Volume: Number: tr-ri-03-241 |
| on pages: 1-47 |
| Chapter: |
| Editor: |
| Publisher: |
| Series: |
| Address: Paderborn, Deutschland |
| Edition: |
| ISBN: |
| how published: |
| Organization: |
| School: |
| Institution: Lehrstuhl für Softwaretechnik, Universität Paderborn |
| ISSN: |
| Doi: |
| File: tr-ri-03-241.pdf |
| URL: |
Note:
Abstract:
Eintrag als Bibtex exportieren