A Decision Method for Linear Temporal Logic

Publisher Website

1 January 1984

book chapter
Published by Springer Nature

p. 113-127
https://doi.org/10.1007/978-0-387-34768-4_7

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

A simple deduction method for modal logic
Information Processing Letters, 1982
On the temporal analysis of fairness
Published by Association for Computing Machinery (ACM) ,1980
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM, 1965