Hybrid automata: from verification to implementation (bibtex)
by , , , , ,
Abstract:
Reference:
Stanley Bak, Omar Ali Beg, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, "Hybrid automata: from verification to implementation", In Software Tools for Technology Transfer (STTT), Springer, vol. , , pp. , 2017, aug.
Bibtex Entry:
@article{bak2017sttt,
        author          =       {Stanley Bak and Omar Ali Beg and Sergiy Bogomolov and Taylor T. Johnson and Luan Viet Nguyen and Christian Schilling},
        title           =       {Hybrid automata: from verification to implementation},
        year            =       {2017},
    journal     =   {Software Tools for Technology Transfer (STTT)},
    publisher   = {Springer},
    address     =   {},
        month           =       aug,
        pages           =       {},
        doi     =   {10.1007/s10009-017-0458-1},
        gsid        =   {},
        abstract    =   {},
        volume      =   {},
        issue       =   {},
        software = {http://github.com/verivital/hyst},
        pdf = {http://www.taylortjohnson.com/research/bak2017sttt.pdf}
}
Powered by bibtexbrowser