%0 Conference Paper %1 conf/icse/YangL10 %A Yang, Qiusong %A Li, Mingshu %B ICSE (1) %D 2010 %E Kramer, Jeff %E Bishop, Judith %E Devanbu, Premkumar T. %E Uchitel, Sebastián %I ACM %K dblp %P 345-354 %T A cut-off approach for bounded verification of parameterized systems. %U http://dblp.uni-trier.de/db/conf/icse/icse2010-1.html#YangL10 %@ 978-1-60558-719-6

@inproceedings{conf/icse/YangL10, added-at = {2023-04-12T00:00:00.000+0200}, author = {Yang, Qiusong and Li, Mingshu}, biburl = {https://www.bibsonomy.org/bibtex/2ca268363695243c035e3b84c520c8ccc/dblp}, booktitle = {ICSE (1)}, crossref = {conf/icse/2010-1}, editor = {Kramer, Jeff and Bishop, Judith and Devanbu, Premkumar T. and Uchitel, Sebastián}, ee = {https://doi.org/10.1145/1806799.1806851}, interhash = {3f6f691f03af6d518526d6700831e04d}, intrahash = {ca268363695243c035e3b84c520c8ccc}, isbn = {978-1-60558-719-6}, keywords = {dblp}, pages = {345-354}, publisher = {ACM}, timestamp = {2024-04-10T17:36:30.000+0200}, title = {A cut-off approach for bounded verification of parameterized systems.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2010-1.html#YangL10}, year = 2010 }