%0 Conference Paper %1 conf/case/FeiMAL12 %A Fei, Zhennan %A Miremadi, Sajed %A Åkesson, Knut %A Lennartson, Bengt %B CASE %D 2012 %I IEEE %K dblp %P 502-507 %T A symbolic approach to large-scale discrete event systems modeled as finite automata with variables. %U http://dblp.uni-trier.de/db/conf/case/case2012.html#FeiMAL12 %@ 978-1-4673-0429-0

@inproceedings{conf/case/FeiMAL12, added-at = {2013-01-04T00:00:00.000+0100}, author = {Fei, Zhennan and Miremadi, Sajed and Åkesson, Knut and Lennartson, Bengt}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/274600213f9d337aadf50c1c9261996fb/dblp}, booktitle = {CASE}, crossref = {conf/case/2012}, ee = {http://dx.doi.org/10.1109/CoASE.2012.6386479}, interhash = {408fb2fc562bc028e9540948a42e0388}, intrahash = {74600213f9d337aadf50c1c9261996fb}, isbn = {978-1-4673-0429-0}, keywords = {dblp}, pages = {502-507}, publisher = {IEEE}, timestamp = {2016-02-02T13:21:57.000+0100}, title = {A symbolic approach to large-scale discrete event systems modeled as finite automata with variables.}, url = {http://dblp.uni-trier.de/db/conf/case/case2012.html#FeiMAL12}, year = 2012 }