DMCA

Propositional dynamic logic of flowcharts (1985)

Cached

Download Links

by D. Harel , R. Sherman
Venue:Infor. and Control
Citations:14 - 2 self