%0 Journal Article %1 journals/sqj/BauchHB16 %A Bauch, Petr %A Havel, Vojtech %A Barnat, Jiri %D 2016 %J Softw. Qual. J. %K dblp %N 1 %P 37-63 %T Accelerating temporal verification of Simulink diagrams using satisfiability modulo theories. %U http://dblp.uni-trier.de/db/journals/sqj/sqj24.html#BauchHB16 %V 24

@article{journals/sqj/BauchHB16, added-at = {2023-08-28T00:00:00.000+0200}, author = {Bauch, Petr and Havel, Vojtech and Barnat, Jiri}, biburl = {https://www.bibsonomy.org/bibtex/240644c4e30a32515de172285cad7551a/dblp}, ee = {https://www.wikidata.org/entity/Q120907728}, interhash = {3becc0c50d39491f09a86f5d9308f76d}, intrahash = {40644c4e30a32515de172285cad7551a}, journal = {Softw. Qual. J.}, keywords = {dblp}, number = 1, pages = {37-63}, timestamp = {2024-04-09T04:05:02.000+0200}, title = {Accelerating temporal verification of Simulink diagrams using satisfiability modulo theories.}, url = {http://dblp.uni-trier.de/db/journals/sqj/sqj24.html#BauchHB16}, volume = 24, year = 2016 }