Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/vmcai/BoltzSF24
%A Böltz, Lucas
%A Sofronie-Stokkermans, Viorica
%A Frey, Hannes
%B VMCAI (1)
%D 2024
%E Dimitrova, Rayna
%E Lahav, Ori
%E Wolff, Sebastian
%I Springer
%K dblp
%P 303-325
%T On the Verification of the Correctness of a Subgraph Construction Algorithm.
%U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2024-1.html#BoltzSF24
%V 14499
%@ 978-3-031-50524-9
@inproceedings{conf/vmcai/BoltzSF24,
added-at = {2024-01-14T00:00:00.000+0100},
author = {Böltz, Lucas and Sofronie-Stokkermans, Viorica and Frey, Hannes},
biburl = {https://www.bibsonomy.org/bibtex/21e7f289dda9e939f2683c8f7d7498d49/dblp},
booktitle = {VMCAI (1)},
crossref = {conf/vmcai/2024-1},
editor = {Dimitrova, Rayna and Lahav, Ori and Wolff, Sebastian},
ee = {https://doi.org/10.1007/978-3-031-50524-9_14},
interhash = {514c1b90978803042810fcb822be6375},
intrahash = {1e7f289dda9e939f2683c8f7d7498d49},
isbn = {978-3-031-50524-9},
keywords = {dblp},
pages = {303-325},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-10T00:33:07.000+0200},
title = {On the Verification of the Correctness of a Subgraph Construction Algorithm.},
url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2024-1.html#BoltzSF24},
volume = 14499,
year = 2024
}