Cerrito, Serenella; Mayer, Marta Cialdea; Demolombe, Robert Temporal abductive reasoning about biochemical reactions. (English) Zbl 1398.03154 J. Appl. Non-Class. Log. 27, No. 3-4, 269-291 (2017). MSC: 03B80 03B44 92C40 92E20 PDFBibTeX XMLCite \textit{S. Cerrito} et al., J. Appl. Non-Class. Log. 27, No. 3--4, 269--291 (2017; Zbl 1398.03154) Full Text: DOI Link
Brzoska, Christoph Programming in metric temporal logic. (English) Zbl 0902.68029 Theor. Comput. Sci. 202, No. 1-2, 55-125 (1998). MSC: 68N17 68T15 PDFBibTeX XMLCite \textit{C. Brzoska}, Theor. Comput. Sci. 202, No. 1--2, 55--125 (1998; Zbl 0902.68029) Full Text: DOI