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 Fri Apr 26 17:16:27 2024 IST.