Anzahl der Einträge: 1.
2010
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 Sat Aug 17 01:48:09 2024 CEST automatisch erstellt.