![](/img/cover-not-exists.png)
[IEEE 2008 47th IEEE Conference on Decision and Control - Cancun, Mexico (2008.12.9-2008.12.11)] 2008 47th IEEE Conference on Decision and Control - Control software model checking using bisimulation functions for nonlinear systems
Kapinski, James, Donze, Alexandre, Lerda, Flavio, Maka, Hitashyam, Wagner, Silke, Krogh, Bruce H.Year:
2008
Language:
english
DOI:
10.1109/cdc.2008.4739247
File:
PDF, 256 KB
english, 2008