default search action
BibTeX record conf/date/KloosM13
@inproceedings{DBLP:conf/date/KloosM13, author = {Johannes Kloos and Rupak Majumdar}, editor = {Enrico Macii}, title = {Supervisor synthesis for controller upgrades}, booktitle = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France, March 18-22, 2013}, pages = {1105--1110}, publisher = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}}, year = {2013}, url = {https://doi.org/10.7873/DATE.2013.232}, doi = {10.7873/DATE.2013.232}, timestamp = {Wed, 16 Oct 2019 14:14:53 +0200}, biburl = {https://dblp.org/rec/conf/date/KloosM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.