Deadlock-freedom in component systems with architectural constraints

Martens, Moritz ; Majster-Cederbaum, Mila

DOI:	https://doi.org/10.1007/s10703-012-0160-6
URL:	http://link.springer.com/article/10.1007%2Fs10703-...
Dokumenttyp:	Zeitschriftenartikel
Erscheinungsjahr:	2012
Titel einer Zeitschrift oder einer Reihe:	Formal Methods in System Design
Band/Volume:	41
Heft/Issue:	2
Seitenbereich:	129-177
Ort der Veröffentlichung:	Dordrecht [u.a.]
Verlag:	Springer
ISSN:	0925-9856 , 1572-8102
Sprache der Veröffentlichung:	Englisch
Einrichtung:	Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Praktische Informatik II (Majster-Cederbaum -2005, Em)
Fachgebiet:	004 Informatik

Dieser Eintrag ist Teil der Universitätsbibliographie.

BASE: Martens, Moritz ; Majster-Cederbaum, Mila

Google Scholar: Martens, Moritz ; Majster-Cederbaum, Mila

Aufrufe im letzten Jahr

Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail

Eintrag anzeigen