bibtex

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


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

info visites 4092179