%0 Conference Paper %1 conf/icra/FeiAL11 %A Fei, Zhennan %A Åkesson, Knut %A Lennartson, Bengt %B ICRA %D 2011 %I IEEE %K dblp %P 4364-4369 %T Symbolic reachability computation using the disjunctive partitioning technique in Supervisory Control Theory. %U http://dblp.uni-trier.de/db/conf/icra/icra2011.html#FeiAL11

@inproceedings{conf/icra/FeiAL11, added-at = {2011-08-17T00:00:00.000+0200}, author = {Fei, Zhennan and Åkesson, Knut and Lennartson, Bengt}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2320414072443a0b7f8ba235682c52355/dblp}, booktitle = {ICRA}, crossref = {conf/icra/2011}, ee = {http://dx.doi.org/10.1109/ICRA.2011.5980008}, interhash = {42d21fc28d732e4c4eedb96b91f4ef53}, intrahash = {320414072443a0b7f8ba235682c52355}, keywords = {dblp}, pages = {4364-4369}, publisher = {IEEE}, timestamp = {2016-02-02T11:29:54.000+0100}, title = {Symbolic reachability computation using the disjunctive partitioning technique in Supervisory Control Theory.}, url = {http://dblp.uni-trier.de/db/conf/icra/icra2011.html#FeiAL11}, year = 2011 }