Bridging the gap between fair simulation and trace inclusion

authors: Yonit Kesten, Nir Piterman, Amir Pnueli

venue (journal): Information and Computation

date: 2005

specification languages

• GR(1)

keywords

(nil)

URL

• https://dx.doi.org/10.1016/j.ic.2005.01.006 (auto-generated link)

BibTeX

@article{82c3f106-dd78-4500-aece-b059ff31b3f6,
  title = {Bridging the gap between fair simulation and trace inclusion},
  author = {Yonit Kesten AND Nir Piterman AND Amir Pnueli},
  year = {2005},
  journal = {Information and Computation},
}