Meta data
- BibTeX key
- conf/csdm/ZhuWYYM21
- entry type
- inproceedings
- booktitle
- CSDM Asia / CSDM
- year
- 2021
- pages
- 479
- publisher
- Springer
- crossref
- conf/csdm/2021
- ee
- https://doi.org/10.1007/978-3-030-73539-5_43
- isbn
- 978-3-030-73539-5
- url
- http://dblp.uni-trier.de/db/conf/csdm/csdm2021.html#ZhuWYYM21
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/csdm/ZhuWYYM21
%A Zhu, Liping
%A Wu, Fangfang
%A Yang, Pei
%A Yan, Jixun
%A Ma, Li
%B CSDM Asia / CSDM
%D 2021
%E Krob, Daniel
%E Li, Lefei
%E Yao, Junchen
%E Zhang, Hongjun
%E Zhang, Xinguo
%I Springer
%K dblp
%P 479
%T Formal Modeling and Correctness Proof of Spatial Partition Algorithm.
%U http://dblp.uni-trier.de/db/conf/csdm/csdm2021.html#ZhuWYYM21
%@ 978-3-030-73539-5
@inproceedings{conf/csdm/ZhuWYYM21,
added-at = {2021-04-19T00:00:00.000+0200},
author = {Zhu, Liping and Wu, Fangfang and Yang, Pei and Yan, Jixun and Ma, Li},
biburl = {https://www.bibsonomy.org/bibtex/280c76dcc75b52ad094a5e339f5e36f6a/dblp},
booktitle = {CSDM Asia / CSDM},
crossref = {conf/csdm/2021},
editor = {Krob, Daniel and Li, Lefei and Yao, Junchen and Zhang, Hongjun and Zhang, Xinguo},
ee = {https://doi.org/10.1007/978-3-030-73539-5_43},
interhash = {f1d585a554be5f39c28b525ce42c7388},
intrahash = {80c76dcc75b52ad094a5e339f5e36f6a},
isbn = {978-3-030-73539-5},
keywords = {dblp},
pages = 479,
publisher = {Springer},
timestamp = {2024-04-09T09:59:45.000+0200},
title = {Formal Modeling and Correctness Proof of Spatial Partition Algorithm.},
url = {http://dblp.uni-trier.de/db/conf/csdm/csdm2021.html#ZhuWYYM21},
year = 2021
}