Website der UB
|
Impressum
|
Datenschutzerklärung
|
Drucken
|
Startseite
Stöbern
Volltexte
Universitätsbibliographie
Statistik
Über MADOC
Hilfe
Kontakt
Login
Erweiterte Suche
Zurück zur Übersicht
Exportieren als
ASCII Citation
BibTeX
CSL JSON
Dublin Core
Dublin Core SFX
EP3 XML
EndNote
HTML Citation
JSON
MARC21 XML
Multiline CSV
Office Document
Reference Manager
RSS 1.0
RSS 2.0
Zitation
Gruppieren nach:
Erscheinungsjahr
|
Autoren
|
Keine Sortierung
Springe zu:
2000
|
1994
Anzahl der Einträge:
3
.
2000
Roggenbach, Markus
;
Majster-Cederbaum, Mila
(2000)
Towards a unified view of bisimulation: a comparative study.
Theoretical Computer Science : the Journal of the EATCS Amsterdam 238 1/2 81-130 [Zeitschriftenartikel]
1994
Majster-Cederbaum, Mila
;
Zetzsche, Frank
(1994)
The comparison of a cpo-based semantics with a cms-based semantics for CSP.
Theoretical Computer Science : the Journal of the EATCS Amsterdam 124 1 1-40 [Zeitschriftenartikel]
Majster-Cederbaum, Mila
;
Baier, Christel
(1994)
Denotational semantics in the cpo and metric approach.
Theoretical Computer Science : the Journal of the EATCS Amsterdam 135 2 171-248 [Zeitschriftenartikel]
Diese Liste wurde am
Fri Aug 16 03:42:56 2024 CEST
automatisch erstellt.