PROPOSITIONAL DYNAMIC LOGIC OF DETERMINISTIC, WELL-STRUCTURED PROGRAM.

Published

Journal Article

Duke Authors

Cited Authors

  • Halpern, JY; Reif, JH

Published Date

  • December 1, 1981

Published In

Start / End Page

  • 322 - 334

International Standard Serial Number (ISSN)

  • 0272-5428

Citation Source

  • Scopus