@inproceedings{KLD+8,
title = {Control software model checking using bisimulation functions for nonlinear systems },
author = {Kapinski, James P. and Lerda, Flavio and Donz\'e, Alexandre and Krogh, Bruce H. and Maka, Hitashyam and Wagner, Silke},
month = {December},
year = {2008},
booktitle = {Proceedings of the 47th IEEE Conference on Decision and Control (CDC'08)},
team = {TEMPO},
}
