Home > SCI > COMP_SCI > CSTECH > 276
A Note on the Semantics of Looping Programs in Propositional Dynamic Logic
Francine Berman
1980
80-346
17
DOWNLOADS
Since June 13, 2011
Computer Sciences Commons
Advanced Search