%0 Conference Paper %1 conf/amcc/TeixeiraMCQ13 %A Teixeira, Marcelo %A Malik, Robi %A Cury, José Eduardo Ribeiro %A de Queiroz, Max Hering %B ACC %D 2013 %I IEEE %K dblp %P 132-137 %T Variable abstraction and approximations in supervisory control synthesis. %U http://dblp.uni-trier.de/db/conf/amcc/acc2013.html#TeixeiraMCQ13 %@ 978-1-4799-0177-7

@inproceedings{conf/amcc/TeixeiraMCQ13, added-at = {2021-09-23T00:00:00.000+0200}, author = {Teixeira, Marcelo and Malik, Robi and Cury, José Eduardo Ribeiro and de Queiroz, Max Hering}, biburl = {https://www.bibsonomy.org/bibtex/290094ce072603283bd4d38d90af34194/dblp}, booktitle = {ACC}, crossref = {conf/amcc/2013}, ee = {https://doi.org/10.1109/ACC.2013.6579826}, interhash = {d7227cfce8f9e766b5125c9769a88adb}, intrahash = {90094ce072603283bd4d38d90af34194}, isbn = {978-1-4799-0177-7}, keywords = {dblp}, pages = {132-137}, publisher = {IEEE}, timestamp = {2024-04-09T13:47:56.000+0200}, title = {Variable abstraction and approximations in supervisory control synthesis.}, url = {http://dblp.uni-trier.de/db/conf/amcc/acc2013.html#TeixeiraMCQ13}, year = 2013 }