Title of article
Editorial: Executable Temporal Logics
Author/Authors
FISHER M.، نويسنده , , KONO S.، نويسنده , , M. A. ORGUN، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1996
Pages
5
From page
469
To page
473
Journal title
Journal of Symbolic Computation
Serial Year
1996
Journal title
Journal of Symbolic Computation
Record number
805185
Link To Document