A tableau system for linear-TIME temporal logic - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 1997

A tableau system for linear-TIME temporal logic

Jean Goubault-Larrecq

Dates et versions

hal-03215092 , version 1 (03-05-2021)

Identifiants

Citer

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⟩
12 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More