Propositional Dynamic Logic of Regular Programs

TitlePropositional Dynamic Logic of Regular Programs
Publication TypeJournal Article
Year of Publication1979
AuthorsFischer MJ, Ladner RE
JournalJournal of Computer and System Sciences
Volume18
Issue2
Pagination194-211
Citation Key1729
Last changed Thu, 2011-09-15 10:50