Proceedings of the 2012 Forum on specification & Design Languages (FDL 2012)
Book title Buchtitel
Proceedings of the 2012 Forum on specification & Design Languages (FDL 2012)
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Rathmair, Michael ; Schupfer, Florian ; Radojicic, Carna ; Grimm, Christoph | Extended Framework for System Simulation with Affine Arithmetic | Konferenzbeitrag Inproceedings  | 2012 |