JavaScript is disabled for your browser. Some features of this site may not work without it.
| Author: | Grimm, Christoph; Wawrzik, Frank; Jung, Alexander Louis-Ferdinand; Luebeck, Konstantin; Post, Sebastian; Koch, Johannes; Bringmann, Oliver | |
| Tübinger Autor(en): |
|
|
| Published in: |
Proceedings Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) Workshop 2021
(2021), Bd.
,
S.
1-11 |
|
| Language: | English | |
| Full text: | https://ieeexplore.ieee.org/document/9399724 | |
| ISBN: | 978-3-8007-5500-4 | |
| DDC Classifikation: | 004 - Data processing and computer science | |
| Dokumentart: |
Article ConferenceObject |
|
| Show full item record |