File:CDC2006.pdf
Jump to navigation
Jump to search
CDC2006.pdf (file size: 1.86 MB, MIME type: application/pdf)
Complexity in Automation of SOS Proofs: An Illustrative Example Gayme, D.; Fazel, M.; Doyle, J.C.; Decision and Control, 2006 45th IEEE Conference on 13-15 Dec. 2006 Page(s):5851 - 5856 from IEEE explore
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Dimensions | User | Comment | |
|---|---|---|---|---|
| current | 21:56, 16 July 2008 | (1.86 MB) | Hana (talk | contribs) | Complexity in Automation of SOS Proofs: An Illustrative Example Gayme, D.; Fazel, M.; Doyle, J.C.; Decision and Control, 2006 45th IEEE Conference on 13-15 Dec. 2006 Page(s):5851 - 5856 from IEEE explore |
You cannot overwrite this file.
File usage
There are no pages that use this file.