Title of article
Branching-Time Temporal Logic and Tree Automata
Author/Authors
Orna Kupferman، نويسنده , , Orna Grumberg، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1996
Pages
8
From page
62
To page
69
Journal title
Information and Computation
Serial Year
1996
Journal title
Information and Computation
Record number
261633
Link To Document