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:
2007
|
2004
|
2002
|
1998
|
1996
Anzahl der Einträge:
6
.
2007
Minnameier, Christoph
(2007)
Local and Global Deadlock-Detection in Component-Based Systems are NP-hard.
Information Processing Letters Amsterdam 103 3 105-111 [Zeitschriftenartikel]
2004
Fecher, Harald
(2004)
A Completed Hierarchy of True Concurrent Equivalences.
Information Processing Letters Amsterdam [u.a.] 89 5 261-265 [Zeitschriftenartikel]
2002
Majster-Cederbaum, Mila
;
Fecher, Harald
;
Wu, Jinzhao
(2002)
Bundle Event Structures : a Revised Cpo Approach.
Information Processing Letters Amsterdam [u.a.] 83 3 7-12 [Zeitschriftenartikel]
1998
Baier, Christel
;
Kwiatkowska, Marta
(1998)
On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints.
Information Processing Letters Amsterdam [u.a.] 66 2 71-79 [Zeitschriftenartikel]
Majster-Cederbaum, Mila
;
Roggenbach, Markus
(1998)
Transition systems from event structures revisited.
Information Processing Letters Amsterdam [u.a.] 119-124 [Zeitschriftenartikel]
1996
Majster-Cederbaum, Mila
;
Baier, Christel
(1996)
Denotational Linear Time Semantics and Sequential Composition.
Information Processing Letters Amsterdam [u.a.] 59 3 135-143 [Zeitschriftenartikel]
Diese Liste wurde am
Fri Aug 16 03:33:42 2024 CEST
automatisch erstellt.