The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Forward and backward simulations: I. untimed systems
The work
| Authors | Nancy A. Lynch; Frits W. Vaandrager |
|---|---|
| Editors | |
| Type | article |
| Year | 1995 |
| Citekey | lynch1995forward |
Where it appeared
| Published in | Inf. Comput. |
|---|---|
| Volume | 121 |
| Issue | 2 |
| Pages | 214--233 |
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-10-29 00:54 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@article{lynch1995forward,
title = {Forward and backward simulations: I. untimed systems},
author = {Nancy A. Lynch and Frits W. Vaandrager},
year = {1995},
journal = {Inf. Comput.},
volume = {121},
number = {2},
pages = {214--233},
}
This record lives at https://refs.drheap.org/lynch1995forward/ and will keep doing so.