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