@article{alur1994theory,
title = {A theory of timed automata},
author = {Alur, Rajeev and Dill, David L},
journal = {Theoretical computer science},
volume = {126},
number = {2},
pages = {183--235},
year = {1994},
publisher = {Elsevier}
}
@incollection{henzinger2000theory,
title = {The theory of hybrid automata},
author = {Henzinger, Thomas A},
booktitle = {Verification of digital and hybrid systems},
pages = {265--292},
year = {2000},
publisher = {Springer}
}
@book{winskel1993formal,
title = {The formal semantics of programming languages: an introduction},
author = {Winskel, Glynn},
year = {1993},
publisher = {MIT press}
}
@inproceedings{goncharov2020implementing,
title = {Implementing hybrid semantics: From functional to imperative},
author = {Goncharov, Sergey and Neves, Renato and Proen{\c{c}}a, Jos{\'e}},
booktitle = {International Colloquium on Theoretical Aspects of Computing},
pages = {262--282},
year = {2020},
organization = {Springer}
}
@book{lipovaca2011learn,
title = {Learn you a haskell for great good!: a beginner's guide},
author = {Lipovaca, Miran},
year = {2011},
publisher = {no starch press}
}
@inproceedings{wadler1995monads,
title = {Monads for functional programming},
author = {Wadler, Philip},
booktitle = {International School on Advanced Functional Programming},
pages = {24--52},
year = {1995},
organization = {Springer}
}
This file was generated by bibtex2html 1.99.