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},

Contact | Site Map | Site powered by SPIP 4.2.13 + AHUNTSIC [CC License]

info visites 3982669