|
Adding Action Refinement to Stochastic True Concurrency Models
Majster-Cederbaum, Mila
;
Wu, Jinzhao
|
Dokumenttyp:
|
Buchkapitel
|
|
Erscheinungsjahr:
|
2003
|
|
Buchtitel:
|
Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5 - 7, 2003; proceedings
|
|
Titel einer Zeitschrift oder einer Reihe:
|
Lecture Notes in Computer Science
|
|
Band/Volume:
|
2885
|
|
Seitenbereich:
|
226-245
|
|
Herausgeber:
|
Dong, Jin Song
|
|
Ort der Veröffentlichung:
|
Berlin [u.a.]
|
|
Verlag:
|
Springer
|
|
ISBN:
|
3-540-20461-X
|
|
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 |
|
|
