Anzahl der Einträge: 1. 2008
|
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 Thu May 2 03:14:20 2024 CEST automatisch erstellt. |
