|
Compositional analysis of deadlock-freedom for tree-like component architectures
Majster-Cederbaum, Mila
;
Martens, Moritz
|
URL:
|
http://dx.doi.org/10.1145/1450058.1450085
|
|
Dokumenttyp:
|
Konferenzveröffentlichung
|
|
Erscheinungsjahr:
|
2008
|
|
Buchtitel:
|
Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008
|
|
Titel einer Zeitschrift oder einer Reihe:
|
Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008
|
|
Seitenbereich:
|
199-206
|
|
Herausgeber:
|
De Alfaro, Luca
|
|
Ort der Veröffentlichung:
|
New York, NY
|
|
Verlag:
|
ACM
|
|
ISBN:
|
978-1-60558-468-3
|
|
Sprache der Veröffentlichung:
|
Englisch
|
|
Einrichtung:
|
Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Praktische Informatik II (Majster-Cederbaum -2005, Em)
|
|
Fachgebiet:
|
004 Informatik
|
|
Zusätzliche Informationen:
|
Online Ressource
|
 | Dieser Eintrag ist Teil der Universitätsbibliographie. |
 Suche Autoren in
Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail
Actions (login required)
 |
Eintrag anzeigen |
|
|
