DMCA

Forward and Backward Simulations Part I: Untimed Systems (1995)

by Nancy Lynch , Frits Vaandrager
Venue:Information and Computation
Citations:143 - 16 self