VOLUME 10 | 2005 | NUMBER 4 |
On Conciseness of Extensions of Timed Automata
Pages 393–405
Download Abstract
Fulltext is accessible with your personal account
ShowHide BibTeX
BibTeX:
@article{JALC-2005-393, author = {Patricia Bouyer and Fabrice Chevalier}, title = {On Conciseness of Extensions of Timed Automata}, journal = {Journal of Automata, Languages and Combinatorics}, volume = {10}, number = {4}, pages = {393--405}, year = {2005}, url = {https://doi.org/10.25596/jalc-2005-393}, doi = {10.25596/jalc-2005-393} }