The temporal logic of programs

Additional Metadata
Publisher	--
Note	Moet nog -- Les actes du seminaire d'informatique theorique, 1981-1982, pp. 181-193 (1983) -- -- -- 13
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Apt, K. (1983). The temporal logic of programs.

Publication