Forward and backward simulations I. Untimed systems

1995

Information and Computation , Volume 121 - Issue 2 p. 214- 233

Additional Metadata
MSC	Specification and verification (program logics, model checking, etc.) (msc 68Q60), Research exposition (monographs, survey articles) (msc 68-02)
Publisher	Academic Press
Journal	Information and Computation
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Lynch, N., & Vaandrager, F. (1995). Forward and backward simulations I. Untimed systems. Information and Computation, 121(2), 214–233.

Publication