id: 70000326
dt: a
an: 70000326
au: Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
ti: Towards efficient exact synthesis for linear hybrid systems
so: GandALF, 263-277 (2011).
py: 2011
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.4204/EPTCS.54.19