Conference
On the Decidability of the Linear Z-Temporal Logic and the Monadic Second Order Theory.
Authors
Muller DE; Schupp PE; Saoudi A
Editors
Koczkodaj WW; Lauer PE; Toptsis AA
Pagination
pp. 2-5
Publisher
IEEE Computer Society
Publication Date
January 1, 1992
ISBN-10
0-8186-2812-X
Conference proceedings
ICCI