1995
Forward and backward simulations I. Untimed systems
Publication
Publication
Information and Computation , Volume 121 - Issue 2 p. 214- 233
Additional Metadata | |
---|---|
, | |
Academic Press | |
Information and Computation | |
Lynch, N., & Vaandrager, F. (1995). Forward and backward simulations I. Untimed systems. Information and Computation, 121(2), 214–233. |