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
[2]
Hilfe
Suche: Author="Damm, Werner"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems
Werner Damm
,
Guilherme Pinto
,
Stefan Ratschan
International Journal of Foundations of Computer Science
18
(1), 2007, pp. 63-86
First-order-CTL model checking
Jürgen Bohn
,
Werner Damm
,
Orna Grumberg
,
Hardi Hungar
,
Karen Laster
Lecture Notes in Computer Science
1530
, 1998, pp. 283-294
MSparc: A multithreaded sparc
Alfred Mikschl
,
Werner Damm
Lecture Notes in Computer Science
1124
, 1996, pp. 461-469
A RISC approach to weak cache coherence
Jürgen Risau
,
Alfred Mikschl
,
Werner Damm
Lecture Notes in Computer Science
1124
, 1996, pp. 453-456