Title: Two methods for checking formulas of temporal logic
First published: 1995
Subjects: Automatic theorem proving, Computer algorithms, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: QA76.9.A96 M385 1995