%0 Conference Paper %1 conf/fmcad/TsiskaridzeSMSL21 %A Tsiskaridze, Nestan %A Strange, Maxwell %A Mann, Makai %A Sreedhar, Kavya %A Liu, Qiaoyi %A Horowitz, Mark %A Barrett, Clark W. %B FMCAD %D 2021 %I IEEE %K dblp %P 102-111 %T Automating System Configuration. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2021.html#TsiskaridzeSMSL21 %@ 978-3-85448-046-4

@inproceedings{conf/fmcad/TsiskaridzeSMSL21, added-at = {2021-12-07T00:00:00.000+0100}, author = {Tsiskaridze, Nestan and Strange, Maxwell and Mann, Makai and Sreedhar, Kavya and Liu, Qiaoyi and Horowitz, Mark and Barrett, Clark W.}, biburl = {https://www.bibsonomy.org/bibtex/28d785ec940f6495f3ece090da8604642/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2021}, ee = {https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_19}, interhash = {2822894d25b1ecd89e1e8f004308b487}, intrahash = {8d785ec940f6495f3ece090da8604642}, isbn = {978-3-85448-046-4}, keywords = {dblp}, pages = {102-111}, publisher = {IEEE}, timestamp = {2024-04-09T23:58:44.000+0200}, title = {Automating System Configuration.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2021.html#TsiskaridzeSMSL21}, year = 2021 }