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 Mon May 6 01:02:19 2024 IST.