Propositional Modal Logic of Programs: Extended Abstract
Submitted by empireij on Mon, 2011-09-19 09:53
| Title | Propositional Modal Logic of Programs: Extended Abstract |
| Publication Type | Conference Paper |
| Year of Publication | 1977 |
| Authors | Fischer MJ, Ladner RE |
| Conference Name | Ninth Annual ACM Symposium on Theory of Computing |
| Citation Key | 1853 |
Last changed Mon, 2011-09-19 09:53

cs.