|
A priori verification of reactive systems
Majster-Cederbaum, Mila
;
Salger, Frank
;
Sorea, Maria
|
Dokumenttyp:
|
Konferenzveröffentlichung
|
|
Erscheinungsjahr:
|
2000
|
|
Buchtitel:
|
Formal Methods for Distributed System Development : FORTE / PSTV 2000 IFIP TC6 WG6, FORTE XIII and PSTV XX, October 10-13, 2000, Pisa, Italy
|
|
Titel einer Zeitschrift oder einer Reihe:
|
IFIP Advances in Information and Communication Technology
|
|
Band/Volume:
|
55
|
|
Seitenbereich:
|
35-50
|
|
Herausgeber:
|
Bolognesi, Tommaso
|
|
Ort der Veröffentlichung:
|
Boston, Mass.
|
|
Verlag:
|
Springer US
|
|
ISBN:
|
978-0-387-35533-7
|
|
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
Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail
Actions (login required)
 |
Eintrag anzeigen |
|
|
