?url_ver=Z39.88-2004&rft_id=10.1109%2FCDC.2005.1582233&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aufirst=Nicol%C3%B2&rft.au=Giorgetti%2C+Nicol%C3%B2&rft.aulast=Giorgetti&rft.title=Bounded+model+checking+of+hybrid+dynamical+systems&rft.btitle=Decision+and+Control+and+European+Control+Conference&rft.date=December+2005&rft.isbn=0-7803-9567-0+&rft.genre=bookitem