Compositional Properties of Sequential Processes


Zhan, Naijun


URL: http://dx.doi.org/10.1016/j.entcs.2004.12.018
Dokumenttyp: Konferenzveröffentlichung
Erscheinungsjahr: 2003
Titel einer Zeitschrift oder einer Reihe: Electronic notes in theoretical computer science : ENTCS
Band: 118
Seitenbereich: 111-128
Veranstaltungstitel: Software Verification and Validation 2003
Veranstaltungsort: Mumbai, India
Veranstaltungsdatum: December 14, 2003
Ort der Veröffentlichung: Amsterdam [u.a.]
Verlag: Elsevier Science
ISSN: 1571-0661
Sprache der Veröffentlichung: Englisch
Einrichtung: Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Praktische Informatik II (Majster-Cederbaum Em)
Fachgebiet: 004 Informatik
Zusätzliche Informationen: Online Ressource

Dieser Eintrag ist Teil der Universitätsbibliographie.




+ Zitationsbeispiel und Export

Zhan, Naijun (2003) Compositional Properties of Sequential Processes. 2003 Amsterdam [u.a.] [Konferenzveröffentlichung]



+ Suche Autoren in

BASE: Zhan, Naijun

Google Scholar: Zhan, Naijun

+ Aufruf-Statistik

Aufrufe im letzten Jahr

Detailierte Angaben



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


Actions (login required)

Eintrag anzeigen Eintrag anzeigen