Forward and Backward Simulations, II: Timing-Based Systems - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Nancy A. Lynch, Frits W. Vaandrager. Forward and Backward Simulations, II: Timing-Based Systems. Inf. Comput., 128(1):1-25, 1996.

@article{LynchV96:0,
  title = {Forward and Backward Simulations, II: Timing-Based Systems},
  author = {Nancy A. Lynch and Frits W. Vaandrager},
  year = {1996},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/LynchV96%3A0},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {128},
  number = {1},
  pages = {1-25},
}

runs on WebDSL