Title of article
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
Author/Authors
P. S. Thiagarajan، نويسنده , , I. Walukiewicz، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2002
Pages
20
From page
230
To page
249
Journal title
Information and Computation
Serial Year
2002
Journal title
Information and Computation
Record number
262108
Link To Document