Biblio

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is Matthieu Objois  [Clear All Filters]
2009
N. Bidoit and Objois, M., “Fixpoint and While Temporal Query Languages”, J. Log. Comput., vol. 19, pp. 369-404, 2009.