%0 Conference Paper %1 conf/vstte/WakankarPM19 %A Wakankar, Amol %A Pandya, Paritosh K. %A Matteplackel, Raj Mohan %B VSTTE %D 2019 %E Chakraborty, Supratik %E Navas, Jorge A. %I Springer %K dblp %P 124-142 %T DCSynth: Guided Reactive Synthesis with Soft Requirements. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2019.html#WakankarPM19 %V 12031 %@ 978-3-030-41600-3

@inproceedings{conf/vstte/WakankarPM19, added-at = {2020-03-16T00:00:00.000+0100}, author = {Wakankar, Amol and Pandya, Paritosh K. and Matteplackel, Raj Mohan}, biburl = {https://www.bibsonomy.org/bibtex/2f6754635c6f1ba3576749beb4f448b0d/dblp}, booktitle = {VSTTE}, crossref = {conf/vstte/2019}, editor = {Chakraborty, Supratik and Navas, Jorge A.}, ee = {https://doi.org/10.1007/978-3-030-41600-3_9}, interhash = {0f4d89b1d3841392e7560f9c92e1257c}, intrahash = {f6754635c6f1ba3576749beb4f448b0d}, isbn = {978-3-030-41600-3}, keywords = {dblp}, pages = {124-142}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-03-17T11:59:59.000+0100}, title = {DCSynth: Guided Reactive Synthesis with Soft Requirements.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2019.html#WakankarPM19}, volume = 12031, year = 2019 }