%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 }