%0 Conference Paper %1 conf/sefm/KornMKLBD23 %A Korn, Max %A Méndez, Julián %A Klüppelholz, Sascha %A Langner, Ricardo %A Baier, Christel %A Dachselt, Raimund %B SEFM %D 2023 %E Ferreira, Carla %E Willemse, Tim A. C. %I Springer %K dblp %P 361-375 %T PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2023.html#KornMKLBD23 %V 14323 %@ 978-3-031-47115-5

@inproceedings{conf/sefm/KornMKLBD23, added-at = {2023-11-28T00:00:00.000+0100}, author = {Korn, Max and Méndez, Julián and Klüppelholz, Sascha and Langner, Ricardo and Baier, Christel and Dachselt, Raimund}, biburl = {https://www.bibsonomy.org/bibtex/2ec95f2383fde6c82272b26670501aa83/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2023}, editor = {Ferreira, Carla and Willemse, Tim A. C.}, ee = {https://doi.org/10.1007/978-3-031-47115-5_20}, interhash = {d8120ab676cb9cda885bc73bc76f6e78}, intrahash = {ec95f2383fde6c82272b26670501aa83}, isbn = {978-3-031-47115-5}, keywords = {dblp}, pages = {361-375}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:24:06.000+0200}, title = {PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2023.html#KornMKLBD23}, volume = 14323, year = 2023 }