Linear Local and Global Model Checking Algorithms for a Kernel Temporal Logic Language - researchr publication

researchr

You are not signed in
Sign in
Sign up

Bart Vergauwen, Johan Lewi. Linear Local and Global Model Checking Algorithms for a Kernel Temporal Logic Language. In Waldemar W. Koczkodaj, Peter E. Lauer, Anestis A. Toptsis, editors, Computing and Information - ICCI 92, Fourth International Conference on Computing and Information, Toronto, Ontario, Canada, May 28-30, 1992, Proceedings. pages 46-49, IEEE Computer Society, 1992.

Abstract is missing.

runs on WebDSL