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="Barringer, H."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A logic covering undefinedness in program proofs
H. Barringer
,
J.H. Cheng
,
C.B. Jones
Acta Informatica
21
(3), 1984, pp. 251-269
Now you may compose temporal logic specifications
H. Barringer
,
R. Kuiper
,
A. Pnueli
Proceedings of the 16th Annual ACM Symposium on Theory of Computing, STOC'84 (Washington, DC, April 30 - May 2, 1984)
, 1984, pp. 51-63