Propositional Modal Logic of Programs: Extended Abstract

TitlePropositional Modal Logic of Programs: Extended Abstract
Publication TypeConference Paper
Year of Publication1977
AuthorsFischer MJ, Ladner RE
Conference NameNinth Annual ACM Symposium on Theory of Computing
Citation Key1853
Last changed Mon, 2011-09-19 09:53