Skip to Main content Skip to Navigation
Book sections

A tableau system for linear-TIME temporal logic

Document type :
Book sections
Complete list of metadata

https://hal.inria.fr/hal-03215092
Contributor : Jean Goubault-Larrecq <>
Submitted on : Monday, May 3, 2021 - 10:32:04 AM
Last modification on : Monday, May 3, 2021 - 10:32:04 AM

Links full text

Identifiers

Citation

Peter Schmitt, Jean Goubault-Larrecq. A tableau system for linear-TIME temporal logic. Proceedings of the 3rd International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'97), Enschede, The Netherlands, April 1997, 1217, Springer, pp.130-144, 1997, Lecture Notes in Computer Science, ⟨10.1007/BFb0035385⟩. ⟨hal-03215092⟩

Share

Metrics

Record views

7