@inproceedings{Mal13,
title = { Algorithmic Analysis of Continuous and Hybrid Systems },
author = {Maler, Oded},
year = {2013},
booktitle = {Infinity},
series = {EPTCS},
team = {TEMPO},
}
