Conference
Linear Local and Global Model Checking Algorithms for a Kernel Temporal Logic Language.
Authors
Vergauwen B; Lewi J
Editors
Koczkodaj WW; Lauer PE; Toptsis AA
Pagination
pp. 46-49
Publisher
IEEE Computer Society
Publication Date
January 1, 1992
ISBN-10
0-8186-2812-X
Conference proceedings
ICCI