dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Amir Pnueli (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Lichtenstein, Amir Pnueli: Propositional Temporal Logics: Decidability and Completeness. Logic Journal of the IGPL 8(1): 55-85 (2000)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEyal Harel, Orna Lichtenstein, Amir Pnueli: Explicit Clock Temporal Logic LICS 1990: 402-413
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Lichtenstein, Amir Pnueli, Lenore D. Zuck: The Glory of the Past. Logic of Programs 1985: 196-218
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Lichtenstein, Amir Pnueli: Checking That Finite State Concurrent Programs Satisfy Their Linear Specification. POPL 1985: 97-107

Selection of 4 from 264 records - Amir Pnueli has 142 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page