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
[1]
Hilfe
Suche: Author="Abadi, Martin"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Preserving liveness: Comments on ``Safety and liveness from a methodological point of view''
Martin Abadi
,
Bowen Alpern
,
Krzysztof R. Apt
,
Nissim Francez
,
Shmuel Katz
,
Leslie Lamport
,
Fred B. Schneider
Information Processing Letters
40
, 1991, pp. 141-142
The power of temporal proofs
Martin Abadi
Theoretical Computer Science
65
, 1989, pp. 35-83