DMCA

A Structural Induction Theorem for Processes (1989)

Cached

Download Links

by R. P. Kurshan , K. Mcmillan
Venue:Information and Computation
Citations:113 - 3 self