%0 Conference Paper %1 conf/atva/Balasubramanian20 %A Balasubramanian, A. R. %A Esparza, Javier %A Lazic, Marijana %B ATVA %D 2020 %E Hung, Dang Van %E Sokolsky, Oleg %I Springer %K dblp %P 144-160 %T Complexity of Verification and Synthesis of Threshold Automata. %U http://dblp.uni-trier.de/db/conf/atva/atva2020.html#Balasubramanian20 %V 12302 %@ 978-3-030-59152-6

@inproceedings{conf/atva/Balasubramanian20, added-at = {2020-10-20T00:00:00.000+0200}, author = {Balasubramanian, A. R. and Esparza, Javier and Lazic, Marijana}, biburl = {https://www.bibsonomy.org/bibtex/231de4b033fa58af4c75e58306e27d352/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2020}, editor = {Hung, Dang Van and Sokolsky, Oleg}, ee = {https://doi.org/10.1007/978-3-030-59152-6_8}, interhash = {eef129d507b67284d7adf165ed39aa6e}, intrahash = {31de4b033fa58af4c75e58306e27d352}, isbn = {978-3-030-59152-6}, keywords = {dblp}, pages = {144-160}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-10-21T11:46:36.000+0200}, title = {Complexity of Verification and Synthesis of Threshold Automata.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2020.html#Balasubramanian20}, volume = 12302, year = 2020 }