|
Action Refinement from a Logical Point of View
Majster-Cederbaum, Mila
;
Zhan, Naijun
;
Fecher, Harald
|
URL:
|
http://dx.doi.org/10.1007/3-540-36384-X_21
|
|
Dokumenttyp:
|
Konferenzveröffentlichung
|
|
Erscheinungsjahr:
|
2003
|
|
Buchtitel:
|
Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9 - 11, 2003; proceedings
|
|
Titel einer Zeitschrift oder einer Reihe:
|
Lecture Notes in Computer Science
|
|
Band/Volume:
|
2575
|
|
Seitenbereich:
|
253-267
|
|
Herausgeber:
|
Zuck, Lenore D.
|
|
Ort der Veröffentlichung:
|
Berlin [u.a.]
|
|
Verlag:
|
Springer
|
|
ISBN:
|
3-540-00348-7 , 978-3-540-00348-9
|
|
ISSN:
|
0302-9743 , 1611-3349
|
|
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 |
|
|
