@inproceedings{905386,
 address = {Neuveden},
 author = {Boyan Yordanov and Jana Tůmová and Calin Belta and Ivana Černá and Jiří Barnat},
 booktitle = {Proceedings of of the 49th IEEE Conference on Decision and Control (CDC)},
 isbn = {978 -1 -4244 -7744 -9},
 keywords = {Automata; Genetic regulatory systems; Hybrid Systems;},
 language = {eng},
 location = {Neuveden},
 pages = {5899 -5904},
 publisher = {Omnipress for IEEE Control Systems Society},
 title = {Formal Analysis of Piecewise Affine Systems through Formula -Guided Refinement},
 year = {2010}
}