User Tools

Site Tools


Optimal Complexity Bounds for Positive LTL Games (BibTeX)

@inproceedings{MarcinkowskiTruderung-CSL-2002,
  author    = {Jerzy Marcinkowski and Tomasz Truderung},
  title     = {Optimal Complexity Bounds for Positive LTL Games},
  booktitle = {Computer Science Logic, CSL 2002, },
  year      = {2002},
  pages     = {262-275},
  editor    = {Julian C. Bradfield},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2471},
}