%0 Conference Paper %1 conf/atva/LiPLFCD15 %A Li, Yongjian %A Pang, Jun %A Lv, Yi %A Fan, Dongrui %A Cao, Shen %A Duan, Kaiqiang %B ATVA %D 2015 %E Finkbeiner, Bernd %E Pu, Geguang %E Zhang, Lijun %I Springer %K dblp %P 207-213 %T ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols. %U http://dblp.uni-trier.de/db/conf/atva/atva2015.html#LiPLFCD15 %V 9364 %@ 978-3-319-24952-0

@inproceedings{conf/atva/LiPLFCD15, added-at = {2023-06-26T00:00:00.000+0200}, author = {Li, Yongjian and Pang, Jun and Lv, Yi and Fan, Dongrui and Cao, Shen and Duan, Kaiqiang}, biburl = {https://www.bibsonomy.org/bibtex/2f73b3c8f6fa9a3673234cc6b440cf247/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2015}, editor = {Finkbeiner, Bernd and Pu, Geguang and Zhang, Lijun}, ee = {https://doi.org/10.1007/978-3-319-24953-7_15}, interhash = {ec2827066a86b37dbdb8a5395075978e}, intrahash = {f73b3c8f6fa9a3673234cc6b440cf247}, isbn = {978-3-319-24952-0}, keywords = {dblp}, pages = {207-213}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T12:16:49.000+0200}, title = {ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2015.html#LiPLFCD15}, volume = 9364, year = 2015 }