Scalable Verification of Linear Controller Software
| Title | Scalable Verification of Linear Controller Software |
| Publication Type | Book Chapter |
| Year of Publication | 2016 |
| Authors | Park, Junkil, Pajic, Miroslav, Lee, Insup, Sokolsky, Oleg |
| Book Title | Tools and Algorithms for the Construction and Analysis of Systems (TACAS) |
| Pagination | 662–679 |
| Publisher | Springer |
| Keywords | 1505701 |
| Citation Key | junkil_tacas16 |