Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Cleaveland, R."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Branching-time probabilisitc model checking
R. Cleaveland
,
S. Purushothaman Iyer
Proceedings in Informatics
8
, 2000, pp. 487-499
Priority and abstraction in process algebra
V. Natarajan
,
I. Christoff
,
L. Christoff
,
R. Cleaveland
Lecture Notes in Computer Science
880
, 1994, pp. 217-230
Computing behavioural relations, logically
R. Cleaveland
,
B. Steffen
Lecture Notes in Computer Science
510
, 1991, pp. 127-138