Meta data
- BibTeX key
- conf/eurosys/0002TWPLWXWL19
- entry type
- inproceedings
- booktitle
- EuroSys
- year
- 2019
- pages
- 38:1-38:17
- publisher
- ACM
- crossref
- conf/eurosys/2019
- ee
- https://doi.org/10.1145/3302424.3303972
- isbn
- 978-1-4503-6281-8
- url
- http://dblp.uni-trier.de/db/conf/eurosys/eurosys2019.html#0002TWPLWXWL19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/eurosys/0002TWPLWXWL19
%A Zuo, Zhiqiang
%A Thorpe, John
%A Wang, Yifei
%A Pan, Qiuhong
%A Lu, Shenming
%A Wang, Kai
%A Xu, Guoqing Harry
%A Wang, Linzhang
%A Li, Xuandong
%B EuroSys
%D 2019
%E Candea, George
%E van Renesse, Robbert
%E Fetzer, Christof
%I ACM
%K dblp
%P 38:1-38:17
%T Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code.
%U http://dblp.uni-trier.de/db/conf/eurosys/eurosys2019.html#0002TWPLWXWL19
%@ 978-1-4503-6281-8
@inproceedings{conf/eurosys/0002TWPLWXWL19,
added-at = {2019-07-25T00:00:00.000+0200},
author = {Zuo, Zhiqiang and Thorpe, John and Wang, Yifei and Pan, Qiuhong and Lu, Shenming and Wang, Kai and Xu, Guoqing Harry and Wang, Linzhang and Li, Xuandong},
biburl = {https://www.bibsonomy.org/bibtex/29d3a6cd3a2ed983b04758ea7ab0715ea/dblp},
booktitle = {EuroSys},
crossref = {conf/eurosys/2019},
editor = {Candea, George and van Renesse, Robbert and Fetzer, Christof},
ee = {https://doi.org/10.1145/3302424.3303972},
interhash = {59995d73bd5c734b3238a9d6129dd7fc},
intrahash = {9d3a6cd3a2ed983b04758ea7ab0715ea},
isbn = {978-1-4503-6281-8},
keywords = {dblp},
pages = {38:1-38:17},
publisher = {ACM},
timestamp = {2019-07-26T11:41:21.000+0200},
title = {Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code.},
url = {http://dblp.uni-trier.de/db/conf/eurosys/eurosys2019.html#0002TWPLWXWL19},
year = 2019
}