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 Jan 30 22:07:26 2025 IST.
