Anzahl der Einträge: 1.
|
Lambertz, Christian ; Majster-Cederbaum, Mila
Port protocols for deadlock-freedom of component-based systems.
Bliudze, Simon
Electronic Proceedings in Theoretical Computer Science : EPTCS
38
7-11
In: Proceedings : 3rd Interaction and Concurrency Experience Workshop (ICE 2010)
(2010)
Sydney
ICE 2010
(Amsterdam, The Netherlands)
[Konferenzveröffentlichung]
|
|
Diese Liste wurde am Thu Nov 21 03:09:56 2024 CET automatisch erstellt.
