Optimal reachability for multi-priced timed automata
Kim Guldstrand Larsen, Jacob Illum RasmussenVolume:
390
Year:
2008
Language:
english
Pages:
17
DOI:
10.1016/j.tcs.2007.09.021
File:
PDF, 304 KB
english, 2008