%0 Conference Paper %1 conf/atva/JinCKZ11 %A Jin, Xiaoqing %A Ciardo, Gianfranco %A Kim, Tae-Hyong %A Zhao, Yang %B ATVA %D 2011 %E Bultan, Tevfik %E Hsiung, Pao-Ann %I Springer %K dblp %P 432-442 %T Symbolic Verification and Test Generation for a Network of Communicating FSMs. %U http://dblp.uni-trier.de/db/conf/atva/atva2011.html#JinCKZ11 %V 6996 %@ 978-3-642-24371-4

@inproceedings{conf/atva/JinCKZ11, added-at = {2019-07-22T00:00:00.000+0200}, author = {Jin, Xiaoqing and Ciardo, Gianfranco and Kim, Tae-Hyong and Zhao, Yang}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20bf34a90fd7b0884b940ebc8ac913e14/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2011}, editor = {Bultan, Tevfik and Hsiung, Pao-Ann}, ee = {https://doi.org/10.1007/978-3-642-24372-1_32}, interhash = {cf30a8234c2526494b38aca263bd4fc2}, intrahash = {0bf34a90fd7b0884b940ebc8ac913e14}, isbn = {978-3-642-24371-4}, keywords = {dblp}, pages = {432-442}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:12:14.000+0200}, title = {Symbolic Verification and Test Generation for a Network of Communicating FSMs.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2011.html#JinCKZ11}, volume = 6996, year = 2011 }