Reasoning about Infinite Computations (1994)

Cached

Download Links

by Moshe Y. Vardi , Pierre Wolper
Venue:Information and Computation
Citations:252 - 55 self