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