Propositional Dynamic Logic of Regular Programs
Submitted by empireij on Thu, 2011-09-15 10:50
| Title | Propositional Dynamic Logic of Regular Programs |
| Publication Type | Journal Article |
| Year of Publication | 1979 |
| Authors | Fischer MJ, Ladner RE |
| Journal | Journal of Computer and System Sciences |
| Volume | 18 |
| Issue | 2 |
| Pagination | 194-211 |
| Citation Key | 1729 |
Last changed Thu, 2011-09-15 10:50

cs.