%0 Conference Paper %1 conf/mfcs/AbdulazizMN19 %A Abdulaziz, Mohammad %A Mehlhorn, Kurt %A Nipkow, Tobias %B MFCS %D 2019 %E Rossmanith, Peter %E Heggernes, Pinar %E Katoen, Joost-Pieter %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 1:1-1:22 %T Trustworthy Graph Algorithms (Invited Talk). %U http://dblp.uni-trier.de/db/conf/mfcs/mfcs2019.html#AbdulazizMN19 %V 138 %@ 978-3-95977-117-7

@inproceedings{conf/mfcs/AbdulazizMN19, added-at = {2022-12-07T00:00:00.000+0100}, author = {Abdulaziz, Mohammad and Mehlhorn, Kurt and Nipkow, Tobias}, biburl = {https://www.bibsonomy.org/bibtex/2f90f980fab366faffb7307969ba1c372/dblp}, booktitle = {MFCS}, crossref = {conf/mfcs/2019}, editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter}, ee = {https://doi.org/10.4230/LIPIcs.MFCS.2019.1}, interhash = {3e2a3ba969b818960323442b9949c21a}, intrahash = {f90f980fab366faffb7307969ba1c372}, isbn = {978-3-95977-117-7}, keywords = {dblp}, pages = {1:1-1:22}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T13:06:39.000+0200}, title = {Trustworthy Graph Algorithms (Invited Talk).}, url = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs2019.html#AbdulazizMN19}, volume = 138, year = 2019 }