Journal of Automata, Languages and Combinatorics formerly:
|
@article{jalc120303, author = {Ruggero Lanotte}, title = {Expressive Power of Hybrid Systems with Real Variables, Integer Variables and Arrays}, journal = jalc, year = 2007, volume = 12, number = 3, pages = {373--405} }