| dc.contributor.author | Niqui, Milad | |
| dc.contributor.author | Tveretina, Olga | |
| dc.contributor.editor | Egerstedt, Magnus | |
| dc.contributor.editor | Mishra, Bud | |
| dc.date.accessioned | 2015-03-23T16:18:39Z | |
| dc.date.available | 2015-03-23T16:18:39Z | |
| dc.date.issued | 2008 | |
| dc.identifier.citation | Niqui , M & Tveretina , O 2008 , Modular Development of Hybrid Systems for Verification in Coq . in M Egerstedt & B Mishra (eds) , Hybrid Systems : Computation and Control . Springer Nature Link , pp. 638-641 , 11th Int Workshop, HSCC 2008 , St Louis , United States , 22/04/08 . https://doi.org/10.1007/978-3-540-78929-1_53 | |
| dc.identifier.citation | conference | |
| dc.identifier.isbn | 978-3-540-78928-4 | |
| dc.identifier.isbn | 978-3-540-78929-1 | |
| dc.identifier.uri | http://hdl.handle.net/2299/15701 | |
| dc.description.abstract | In this paper we present a formalization of the theory of hybrid automata and algorithms for building trajectory trees using module types and functors in the Coq proof assistant | en |
| dc.language.iso | eng | |
| dc.publisher | Springer Nature Link | |
| dc.relation.ispartof | Hybrid Systems | |
| dc.title | Modular Development of Hybrid Systems for Verification in Coq | en |
| dc.contributor.institution | School of Physics, Engineering & Computer Science | |
| dc.contributor.institution | Biocomputation Research Group | |
| dc.contributor.institution | Department of Computer Science | |
| rioxxterms.versionofrecord | 10.1007/978-3-540-78929-1_53 | |
| rioxxterms.type | Other | |
| herts.preservation.rarelyaccessed | true | |
