Henning Bordihn, Markus Holzer, Martin Kutrib
Hybrid Extended Finite Automata
CIAA, 2007.
@article{CIAA-J-2006-BordihnHK07, author = "Henning Bordihn and Markus Holzer and Martin Kutrib", doi = "10.1142/S0129054107004954", journal = "{International Journal of Foundations of Computer Science}", number = 4, pages = "745--760", publisher = "{World Scientific}", title = "{Hybrid Extended Finite Automata}", volume = 18, year = 2007, }