Title of article
Past is for free: on the complexity of verifying linear temporal properties with past
Author/Authors
Nicolas Markey، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2004
Pages
28
From page
431
To page
458
Journal title
acta Informatica
Serial Year
2004
Journal title
acta Informatica
Record number
287788
Link To Document