Journal of Automata, Languages and Combinatorics formerly:
|
@article{jalc100401, author = {Patricia~Bouyer and Fabrice~Chevalier}, title = {{On Conciseness of Extensions of Timed Automata}}, journal = jalc, year = 2005, volume = 10, number = {4}, pages = {393--405} }