References of "Langerak, Rom"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailA symbolic algorithm for the analysis of robust timed automata
Kordy, Piotr UL; Langerak, Rom; Mauw, Sjouke UL et al

in 19th International Symposium on Formal Methods (FM'14), 12-16 May 2014 (2014, May)

Detailed reference viewed: 77 (2 UL)