Anzahl der Einträge: 1.
2007
Majster-Cederbaum, Mila ; Martens, Moritz ; Minnameier, Christoph ; Gössler, Gregor ; Graf, Susanne ; Sifakis, Joseph
A Polynomial-Time checkable sufficient Condition for Deadlock-Freedom of Component-Based Systems.
Leeuwen, Jan van
Lecture Notes in Computer Science
4362
888-899
In: SOFSEM 2007: Theory and Practice of Computer Science : 33rd Conference on Current Trends in Theory and Practice of Computer Science; Harrachov, Czech Republic, January 20-26, 2007; proceedings
(2007)
Berlin [u.a.]
[Konferenzveröffentlichung]
|
|
Diese Liste wurde am Sat Aug 17 01:21:57 2024 CEST automatisch erstellt.