The propositional dynamic logic of deterministic, well-structured programs

Published

Journal Article

Full Text

Duke Authors

Cited Authors

  • Halpern, JY; Reif, JH

Published Date

  • 1983

Published In

Volume / Issue

  • 27 / 1-2

Start / End Page

  • 127 - 165

Published By

International Standard Serial Number (ISSN)

  • 0304-3975

Digital Object Identifier (DOI)

  • 10.1016/0304-3975(83)90097-x

Language

  • en