|
An Approach to Modelling and Verification of Component Based Systems
Majster-Cederbaum, Mila
;
Martens, Moritz
;
Gössler, Gregor
;
Graf, Susanne
;
Sifakis, Joseph
;
Minnameier, Christoph
|
URL:
|
http://ub-madoc.bib.uni-mannheim.de/6541
|
|
Dokumenttyp:
|
Konferenzveröffentlichung
|
|
Erscheinungsjahr:
|
2007
|
|
Buchtitel:
|
SOFSEM 2007: Theory and Practice of Computer Science : 33nd Conference on Current Trendsin Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings
|
|
Titel einer Zeitschrift oder einer Reihe:
|
SOFSEM 2007: Theory and Practice of Computer Science : 33nd Conference on Current Trendsin Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings
|
|
Ort der Veröffentlichung:
|
Berlin; Heidelberg [u.a.]
|
|
Verlag:
|
Springer
|
|
ISBN:
|
978-3-540-69506-6
|
|
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. |
 Suche Autoren in
BASE:
Majster-Cederbaum, Mila
;
Martens, Moritz
;
Gössler, Gregor
;
Graf, Susanne
;
Sifakis, Joseph
;
Minnameier, Christoph
Google Scholar:
Majster-Cederbaum, Mila
;
Martens, Moritz
;
Gössler, Gregor
;
Graf, Susanne
;
Sifakis, Joseph
;
Minnameier, Christoph
Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail
Actions (login required)
 |
Eintrag anzeigen |
|
|
