%0 Conference Paper %1 conf/cav/YuanYG18 %A Yuan, Xinhao %A Yang, Junfeng %A Gu, Ronghui %B CAV (2) %D 2018 %E Chockler, Hana %E Weissenbacher, Georg %I Springer %K dblp %P 317-335 %T Partial Order Aware Concurrency Sampling. %U http://dblp.uni-trier.de/db/conf/cav/cav2018-2.html#YuanYG18 %V 10982 %@ 978-3-319-96142-2

@inproceedings{conf/cav/YuanYG18, added-at = {2018-10-03T00:00:00.000+0200}, author = {Yuan, Xinhao and Yang, Junfeng and Gu, Ronghui}, biburl = {https://www.bibsonomy.org/bibtex/2f470322e9c23948ef811538df2a00ea7/dblp}, booktitle = {CAV (2)}, crossref = {conf/cav/2018-2}, editor = {Chockler, Hana and Weissenbacher, Georg}, ee = {https://doi.org/10.1007/978-3-319-96142-2_20}, interhash = {d46e818b0ddc2ad7a1a5074a9949aa1d}, intrahash = {f470322e9c23948ef811538df2a00ea7}, isbn = {978-3-319-96142-2}, keywords = {dblp}, pages = {317-335}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:16:55.000+0200}, title = {Partial Order Aware Concurrency Sampling.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2018-2.html#YuanYG18}, volume = 10982, year = 2018 }