On the Usability of Vehicle-to-Roadside Communications Using IEEE 802.11b/g Unplanned Wireless Networks. - Martin Milata; Michal Krumnikl; Pavel Moravec 001 (ICDIPC (2), 2011)

Reachability analysis for timed automata using max-plus algebra. - Qi Lu; Michael Madsen; Martin Milata; Søren Ravn; Uli Fahrenberg; Kim G. Larsen (J. Log. Algebraic Methods Program., 2012)