Title of article :
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
Author/Authors :
P. S. Thiagarajan، نويسنده , , I. Walukiewicz، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2002
Journal title :
Information and Computation
Journal title :
Information and Computation
