%0 Conference Paper %1 conf/asm/BanachZSW12 %A Banach, Richard %A Zhu, Huibiao %A Su, Wen %A Wu, Xiaofeng %B ABZ %D 2012 %E Derrick, John %E Fitzgerald, John S. %E Gnesi, Stefania %E Khurshid, Sarfraz %E Leuschel, Michael %E Reeves, Steve %E Riccobene, Elvinia %I Springer %K dblp %P 51-64 %T ASM and Controller Synthesis. %U http://dblp.uni-trier.de/db/conf/asm/abz2012.html#BanachZSW12 %V 7316 %@ 978-3-642-30884-0

@inproceedings{conf/asm/BanachZSW12, added-at = {2017-05-21T00:00:00.000+0200}, author = {Banach, Richard and Zhu, Huibiao and Su, Wen and Wu, Xiaofeng}, biburl = {https://www.bibsonomy.org/bibtex/2b7858995d2df39f92e9b11827649f28f/dblp}, booktitle = {ABZ}, crossref = {conf/asm/2012}, editor = {Derrick, John and Fitzgerald, John S. and Gnesi, Stefania and Khurshid, Sarfraz and Leuschel, Michael and Reeves, Steve and Riccobene, Elvinia}, ee = {https://doi.org/10.1007/978-3-642-30885-7_4}, interhash = {77402603751e8652a6d91137675b0ff5}, intrahash = {b7858995d2df39f92e9b11827649f28f}, isbn = {978-3-642-30884-0}, keywords = {dblp}, pages = {51-64}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T13:05:56.000+0200}, title = {ASM and Controller Synthesis.}, url = {http://dblp.uni-trier.de/db/conf/asm/abz2012.html#BanachZSW12}, volume = 7316, year = 2012 }