Export 1 results:
Autor Título Tipo [ Año(Asc)]
Filtros: Clave is Metric Temporal Logic  [Clear All Filters]
2009
Flaminio T, Tiezzi EBP.  2009.  On Metric Temporal Lukasiewicz Logic. Electronic Notes in Theoretical Computer Science. 246:71–85.