search author

DBLP BibTeX Record 'conf/icinco/RatschanS08'

@inproceedings{DBLP:conf/icinco/RatschanS08,
  author    = {Stefan Ratschan and
               Zhikun She},
  title     = {Recursive and Backward Reasoning in the Verification on
               Hybrid Systems},
  booktitle = {ICINCO-SPSMC},
  year      = {2008},
  pages     = {65-71},
  crossref  = {DBLP:conf/icinco/2008spsmc},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icinco/2008spsmc,
  editor    = {Joaquim Filipe and
               Juan Andrade-Cetto and
               Jean-Louis Ferrier},
  title     = {ICINCO 2008, Proceedings of the Fifth International Conference
               on Informatics in Control, Automation and Robotics, Signal
               Processing, Systems Modeling and Control, Funchal, Madeira,
               Portugal, May 11-15, 2008},
  booktitle = {ICINCO-SPSMC},
  publisher = {INSTICC Press},
  year      = {2008},
  isbn      = {978-989-8111-32-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}