Anzahl der Einträge: 1.
|
Majster-Cederbaum, Mila ; Martens, Moritz
Compositional analysis of deadlock-freedom for tree-like component architectures.
De Alfaro, Luca
Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008
199-206
In: Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008
(2008)
New York, NY
[Konferenzveröffentlichung]
|
|
Diese Liste wurde am Wed Dec 4 01:39:12 2024 CET automatisch erstellt. |
