F
[Fra99] Martin Fränzle. Analysis of hybrid systems: an ounce of realism can save an infinity of states. In CSL'99, Lecture Notes in Computer Science 1862, pages 126-139. Springer-Verlag, September 1999. 
@inproceedings{csl1999-Fra,
  author =              {Fr{\"a}nzle, Martin},
  title =               {Analysis of hybrid systems: an~ounce of realism can
                         save an infinity of states},
  editor =              {Flum, J{\"o}rg and Rodr{\'\i}guez{-}Artalejo, Mario},
  booktitle =           {{P}roceedings of the 13th {I}nternational {W}orkshop
                         on {C}omputer {S}cience {L}ogic ({CSL}'99)},
  acronym =             {{CSL}'99},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1862},
  pages =               {126-139},
  year =                {1999},
  month =               sep,
}
List of authors