Pluriel conseillé (plutôt que finaux) en cette acception ; voir par exemple le CNRTL [lire en ligne] : « En fait, il y a flottement entre finals et finaux : le 1er semble être le plur. de la lang. cour. et des écrivains, le second celui des linguistes et des économistes ; ex. : des b, d, g finaux, les résultats finaux (cf.Dupré 1972, pp. 1 011-1 012). ».
(en) Rajeev Alur, Salvatore La Torre et George J. Pappas, « Optimal Paths in Weighted Timed Automata », Hybrid Systems: Computation and Control, Springer Berlin Heidelberg, lecture Notes in Computer Science, , p. 49–62 (ISBN9783540453512, DOI10.1007/3-540-45351-2_8, lire en ligne, consulté le )
springer.com
link.springer.com
(en) Rajeev Alur, Salvatore La Torre et George J. Pappas, « Optimal Paths in Weighted Timed Automata », Hybrid Systems: Computation and Control, Springer Berlin Heidelberg, lecture Notes in Computer Science, , p. 49–62 (ISBN9783540453512, DOI10.1007/3-540-45351-2_8, lire en ligne, consulté le )