%0 Conference Paper %1 conf/isola/GrosGGHKS20 %A Gros, Timo P. %A Groß, David %A Gumhold, Stefan %A Hoffmann, Jörg %A Klauck, Michaela %A Steinmetz, Marcel %B ISoLA (4) %D 2020 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 27-46 %T TraceVis: Towards Visualization for Deep Statistical Model Checking. %U http://dblp.uni-trier.de/db/conf/isola/isola2020-4.html#GrosGGHKS20 %V 12479 %@ 978-3-030-83723-5

@inproceedings{conf/isola/GrosGGHKS20, added-at = {2021-08-09T00:00:00.000+0200}, author = {Gros, Timo P. and Groß, David and Gumhold, Stefan and Hoffmann, Jörg and Klauck, Michaela and Steinmetz, Marcel}, biburl = {https://www.bibsonomy.org/bibtex/290a4d6891d5a3c77fec8c60d744eeef5/dblp}, booktitle = {ISoLA (4)}, crossref = {conf/isola/2020-4}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-030-83723-5_3}, interhash = {cf442e4efa9b0fd675952f52c4a88355}, intrahash = {90a4d6891d5a3c77fec8c60d744eeef5}, isbn = {978-3-030-83723-5}, keywords = {dblp}, pages = {27-46}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:11:52.000+0200}, title = {TraceVis: Towards Visualization for Deep Statistical Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2020-4.html#GrosGGHKS20}, volume = 12479, year = 2020 }