Bridging the Gap Between Fair Simulation and Trace Inclusion

Kesten, Y.; Piterman, N.; Pnueli, A.

Bridging the Gap Between Fair Simulation and Trace Inclusion (bibtex)

@string{ic="Information and Computation"}
@string{jul="July"}
@Article{KPP05,
  author =      {Y. Kesten and N. Piterman and A. Pnueli},
  title =       {Bridging the Gap Between Fair Simulation and Trace Inclusion},
  journal =     ic,
  year =        {2005},
  volume =   {200},
  number =   {1},
  pages =    {35-61},
  month =    jul,
  url =      {2005/KPP05.html},
  pdf =      {2005/KPP05.pdf},
  keywords = {Model Checking,Games},
}