BibTeX record conf/lpar/TusilSO23

• > Home > conf/lpar/TusilSO23

@inproceedings{DBLP:conf/lpar/TusilSO23,
  author       = {Jan Tusil and
                  Traian Serbanuta and
                  Jan Obdrz{\'{a}}lek},
  editor       = {Ruzica Piskac and
                  Andrei Voronkov},
  title        = {Cartesian Reachability Logic: {A} Language-parametric Logic for Verifying
                  k-Safety Properties},
  booktitle    = {{LPAR} 2023: Proceedings of 24th International Conference on Logic
                  for Programming, Artificial Intelligence and Reasoning, Manizales,
                  Colombia, 4-9th June 2023},
  series       = {EPiC Series in Computing},
  volume       = {94},
  pages        = {405--456},
  publisher    = {EasyChair},
  year         = {2023},
  url          = {https://doi.org/10.29007/1874},
  doi          = {10.29007/1874},
  timestamp    = {Wed, 12 Jul 2023 16:50:32 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/TusilSO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}