Výpis publikací

2012

1. Reachability analysis for timed automata using max-plus algebra

   LU, Qi, Michael MADSEN, Martin MILATA, Søren RAVN, Uli FAHRENBERG a Kim G. LARSEN. Reachability analysis for timed automata using max-plus algebra. Journal of Logic and Algebraic Programming. Holland: Elsevier, 2012, roč. 81, č. 3, s. 298-313. ISSN 1567-8326. Dostupné z: https://dx.doi.org/10.1016/j.jlap.2011.10.004.

   Podrobněji: https://is.muni.cz/publication/974570/cs