Deriving non-determinism from conjunction and disjunction


Majster-Cederbaum, Mila ; Zhan, Naijun


URL: http://dx.doi.org/10.1007/11562436_26
Dokumenttyp: Konferenzveröffentlichung
Erscheinungsjahr: 2005
Buchtitel: Formal techniques for networked and distributed systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan; proceedings
Titel einer Zeitschrift oder einer Reihe: Lecture Notes in Computer Science
Band/Volume: 3731
Seitenbereich: 351-365
Veranstaltungsdatum: October 2 - 5, 2005
Autor/Hrsg. des Buches
(nur der Erstgenannte!)
:
Wang, Farn
Ort der Veröffentlichung: Berlin [u.a.]
Verlag: Springer
ISBN: 978-3-540-29189-3
Sprache der Veröffentlichung: Englisch
Einrichtung: Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Praktische Informatik II (Majster-Cederbaum Em)
Fachgebiet: 004 Informatik

Dieser Eintrag ist Teil der Universitätsbibliographie.




+ Zitationsbeispiel und Export

Majster-Cederbaum, Mila ; Zhan, Naijun (2005) Deriving non-determinism from conjunction and disjunction. In: Formal techniques for networked and distributed systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan; proceedings 2005 Berlin [u.a.] [Konferenzveröffentlichung]



+ Suche Autoren in

+ Aufruf-Statistik

Aufrufe im letzten Jahr

Detaillierte Angaben



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


Actions (login required)

Eintrag anzeigen Eintrag anzeigen