BibTeX记录conf/concur/LiuTG23
@正在进行{DBLP:conf/concur/LiuTG23， author={刘天阁和 Alwen Tiu和 吉姆·德·格罗特}， editor={Guillermo A.P{\'{e}}rez和 牛仔 {-}弗兰 {\c{c}}ois Raskin}， title={移动进程的模态逻辑重温}， booktitle＝{第34届并发理论国际会议，{CONCUR}2023， 2023年9月18日至23日，比利时安特卫普}， 系列={LIPIcs}， 体积={279}， 页数={34:1--34:17}， publisher={Schloss Dagstuhl-Leibniz Zentrum f{\“{u}}r Informatik}， 年份={2023}， url={ https://doi.org/10.4230/LIPIcs.CONCUR.2023.34 }, doi={10.4230/LIPICS.CONCUR.2023.34}， timestamp={2024年2月5日星期一20:34:22+0100}， 比布尔={ https://dblp.org/rec/conf/concur/LiuTG23.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
