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/Volume: 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 -2005, Em)
Fachgebiet: 004 Informatik
Zusätzliche Informationen: Online Ressource




Dieser Eintrag ist Teil der Universitätsbibliographie.




Metadaten-Export


Zitation


+ Suche Autoren in

BASE: Zhan, Naijun

Google Scholar: Zhan, Naijun

+ 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