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,
}