%0 Book Section %1 series/gidiss/Svozil21 %A Svozil, Alexander %B Ausgezeichnete Informatikdissertationen %D 2021 %E Hölldobler, Steffen %E Reischuk, Rüdiger %E Apel, Sven %E Bernstein, Abraham %E Freiling, Felix C. %E Lenhof, Hans-Peter %E Neumann, Gustaf %E Römer, Kay Uwe %E Scheuermann, Björn %E Schweikardt, Nicole %E Wehrle, Klaus %I GI %K dblp %P 261-270 %T Moderne Graphalgorithmen für die formale Verifikation. %U http://dblp.uni-trier.de/db/series/gidiss/gidiss2021.html#Svozil21 %V D-22 %@ 978-3-88579-980-1

@incollection{series/gidiss/Svozil21, added-at = {2023-07-04T00:00:00.000+0200}, author = {Svozil, Alexander}, biburl = {https://www.bibsonomy.org/bibtex/2eabc4fdfa0d03117093ca5ac5a5219ff/dblp}, booktitle = {Ausgezeichnete Informatikdissertationen}, crossref = {series/gidiss/2021}, editor = {Hölldobler, Steffen and Reischuk, Rüdiger and Apel, Sven and Bernstein, Abraham and Freiling, Felix C. and Lenhof, Hans-Peter and Neumann, Gustaf and Römer, Kay Uwe and Scheuermann, Björn and Schweikardt, Nicole and Wehrle, Klaus}, ee = {https://dl.gi.de/handle/20.500.12116/39849}, interhash = {52c4487c14f6d83722ecd433a7120110}, intrahash = {eabc4fdfa0d03117093ca5ac5a5219ff}, isbn = {978-3-88579-980-1}, keywords = {dblp}, pages = {261-270}, publisher = {GI}, series = {LNI}, timestamp = {2024-04-09T09:31:08.000+0200}, title = {Moderne Graphalgorithmen für die formale Verifikation.}, url = {http://dblp.uni-trier.de/db/series/gidiss/gidiss2021.html#Svozil21}, volume = {D-22}, year = 2021 }