@inproceedings{7602539,
    Author = {{Leth}, T. and {Sloth}, C. and {Wisniewski}, R.},
    BookTitle = {2016 IEEE Conference on Computer Aided Control System Design (CACSD)},
    File = {Lyapunov Function Synthesis - Algorithm and Software - cacsd.2016.7602539 - a - t.pdf},
    Pages = {641-647},
    Title = {Lyapunov function synthesis --- Algorithm and software},
    Year = {2016},
    bdsk-url-1 = {https://doi.org/10.1109/CACSD.2016.7602539},
    date-added = {2021-01-20 19:25:12 +0100},
    date-modified = {2021-01-20 19:25:12 +0100},
    doi = {10.1109/CACSD.2016.7602539}
}

@inproceedings{7602539, Author = {{Leth}, T. and {Sloth}, C. and {Wisniewski}, R.}, BookTitle = {2016 IEEE Conference on Computer Aided Control System Design (CACSD)}, File = {Lyapunov Function Synthesis - Algorithm and Software - cacsd.2016.7602539 - a - t.pdf}, Pages = {641-647}, Title = {Lyapunov function synthesis --- Algorithm and software}, Year = {2016}, bdsk-url-1 = {https://doi.org/10.1109/CACSD.2016.7602539}, date-added = {2021-01-20 19:25:12 +0100}, date-modified = {2021-01-20 19:25:12 +0100}, doi = {10.1109/CACSD.2016.7602539} }