Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/entcs/HuletteAMR15
%A Hulette, Geoffrey C.
%A Armstrong, Robert C.
%A Mayo, Jackson R.
%A Ruthruff, Joseph R.
%D 2015
%J Electron. Notes Theor. Comput. Sci.
%K dblp
%P 71-83
%T Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics.
%U http://dblp.uni-trier.de/db/journals/entcs/entcs317.html#HuletteAMR15
%V 317
@article{journals/entcs/HuletteAMR15,
added-at = {2020-02-24T00:00:00.000+0100},
author = {Hulette, Geoffrey C. and Armstrong, Robert C. and Mayo, Jackson R. and Ruthruff, Joseph R.},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27aed04e55c49babea3271a6b0df75afc/dblp},
ee = {https://doi.org/10.1016/j.entcs.2015.10.008},
interhash = {da906a529c37f530b8eb231f6d778089},
intrahash = {7aed04e55c49babea3271a6b0df75afc},
journal = {Electron. Notes Theor. Comput. Sci.},
keywords = {dblp},
pages = {71-83},
timestamp = {2020-04-20T13:08:03.000+0200},
title = {Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics.},
url = {http://dblp.uni-trier.de/db/journals/entcs/entcs317.html#HuletteAMR15},
volume = 317,
year = 2015
}