Demri, Stéphane and D'Souza, Deepak and Gascon, Régis
(2007)
A decidable temporal logic with repeating values.
In: LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science, Heidelberg.
This list was generated on Thu Apr 25 16:27:29 2024 IST.
