Oded Maler. Guest Editorial: Verification of Hybrid Systems. Eur. J. Control, 7(4):357-365, 2001. [doi]
@article{Maler01, title = {Guest Editorial: Verification of Hybrid Systems}, author = {Oded Maler}, year = {2001}, doi = {10.3166/ejc.7.357-365}, url = {http://dx.doi.org/10.3166/ejc.7.357-365}, researchr = {https://researchr.org/publication/Maler01}, cites = {0}, citedby = {0}, journal = {Eur. J. Control}, volume = {7}, number = {4}, pages = {357-365}, }