%0 Conference Paper %1 conf/dac/DubikhinMSSY17 %A Dubikhin, Vladimir %A Myers, Chris J. %A Sokolov, Danil %A Syranidis, Ioannis %A Yakovlev, Alexandre %B DAC %D 2017 %I ACM %K dblp %P 36:1-36:6 %T Advances in Formal Methods for the Design of Analog/Mixed-Signal Systems: Invited. %U http://dblp.uni-trier.de/db/conf/dac/dac2017.html#DubikhinMSSY17 %@ 978-1-4503-4927-7

@inproceedings{conf/dac/DubikhinMSSY17, added-at = {2018-11-06T00:00:00.000+0100}, author = {Dubikhin, Vladimir and Myers, Chris J. and Sokolov, Danil and Syranidis, Ioannis and Yakovlev, Alexandre}, biburl = {https://www.bibsonomy.org/bibtex/265909099c240aaaf1cbb185bbd6fa768/dblp}, booktitle = {DAC}, crossref = {conf/dac/2017}, ee = {https://doi.org/10.1145/3061639.3072945}, interhash = {c14c642bf9b85da21f5245a20d1bd913}, intrahash = {65909099c240aaaf1cbb185bbd6fa768}, isbn = {978-1-4503-4927-7}, keywords = {dblp}, pages = {36:1-36:6}, publisher = {ACM}, timestamp = {2018-11-07T13:09:51.000+0100}, title = {Advances in Formal Methods for the Design of Analog/Mixed-Signal Systems: Invited.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2017.html#DubikhinMSSY17}, year = 2017 }