top

On the freeze quantifier in constraint LTL: decidability and complexity

S. Demri, R. Lazic, and D. Nowak. On the freeze quantifier in constraint LTL: decidability and complexity. Technical Report LSV-05-03, Laboratoire Specification et Verification, 2005.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@TECHREPORT{demri05:_ltl,
  author = {S. Demri and R. Lazic and D. Nowak},
  title = {On the freeze quantifier in constraint LTL: decidability and complexity},
  institution = {Laboratoire Specification et Verification},
  year = {2005},
  number = {LSV-05-03},
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Aug 10, 2009 14:52:33