dc.contributor.author |
Bringmann, Oliver |
|
dc.contributor.author |
Jung, Alexander |
|
dc.contributor.author |
Lübeck, Konstantin |
|
dc.date.accessioned |
2022-02-17T15:53:51Z |
|
dc.date.available |
2022-02-17T15:53:51Z |
|
dc.date.issued |
2021 |
|
dc.identifier.isbn |
978-3-8007-5500-4 |
|
dc.identifier.uri |
http://hdl.handle.net/10900/124672 |
|
dc.language.iso |
en |
de_DE |
dc.relation.uri |
https://ieeexplore.ieee.org/document/9399724 |
de_DE |
dc.subject.ddc |
004 |
de_DE |
dc.title |
APPEL-AGILA ProPErty and Dependency Description Language |
de_DE |
dc.type |
Article |
de_DE |
dc.type |
ConferenceObject |
de_DE |
utue.publikation.seiten |
1-11 |
de_DE |
utue.personen.roh |
Grimm, Christoph |
|
utue.personen.roh |
Wawrzik, Frank |
|
utue.personen.roh |
Jung, Alexander Louis-Ferdinand |
|
utue.personen.roh |
Luebeck, Konstantin |
|
utue.personen.roh |
Post, Sebastian |
|
utue.personen.roh |
Koch, Johannes |
|
utue.personen.roh |
Bringmann, Oliver |
|
dcterms.isPartOf.ZSTitelID |
Proceedings Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) Workshop 2021 |
de_DE |