Verimag

bibtex

@inproceedings{KLD+08,
    title = {Control software model checking using bisimulation functions for nonlinear systems },
    author = {Kapinski, James Patrick 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},
}

Publication Sections


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

info visites 792335