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

P. M. Melliar-Smith (Selection)

P. Michael Melliar-Smith

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


11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt: An Interval-Based Temporal Logic. Logic of Programs 1983: 443-457
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt: An Interval Logic for Higher-Level Temporal Reasoning. PODC 1983: 173-186
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt: Interval Logic: A Higher-Level Temporal Logic for Protocol Specification. Protocol Specification, Testing, and Verification 1983: 3-18
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard L. Schwartz, P. M. Melliar-Smith: From State Machines to Temporal Logic: Specification Methods for Protocol Standards. The Analysis of Concurrent Systems 1983: 55-65
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert E. Shostak, Richard L. Schwartz, P. M. Melliar-Smith: STP: A Mechanized Logic for Specification and Verification. CADE 1982: 32-49
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard L. Schwartz, P. M. Melliar-Smith: From State Machines to Temporal Logic: Specification Methods for Protocol Standards. PSTV 1982: 3-19
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. M. Melliar-Smith, Richard L. Schwartz: Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System. IEEE Trans. Computers 31(7): 616-630 (1982)
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard L. Schwartz, P. M. Melliar-Smith: Temporal Logic Specification of Distributed Systems. ICDCS 1981: 446-454
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard L. Schwartz, P. M. Melliar-Smith: The Finalization Operation for Abstract Types. ICSE 1981: 273-282

Selection of 9 from 163 records - P. M. Melliar-Smith has 55 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