Chapitre D'ouvrage
Année : 1997
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03215092
Soumis le : lundi 3 mai 2021-10:32:04
Dernière modification le : lundi 3 mai 2021-10:32:04
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