%0 Conference Paper %1 korn2023pmcvis %A Korn, Max %A Méndez, Julián %A Klüppelholz, Sascha %A Langner, Ricardo %A Baier, Christel %A Dachselt, Raimund %B International Conference on Software Engineering and Formal Methods %D 2023 %K imported xack %P 361--375 %T PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking

@inproceedings{korn2023pmcvis, added-at = {2024-12-04T09:11:09.000+0100}, author = {Korn, Max and M{\'e}ndez, Juli{\'a}n and Kl{\"u}ppelholz, Sascha and Langner, Ricardo and Baier, Christel and Dachselt, Raimund}, biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/230c6a77d86bc0e4f60a67c8a603afa5b/scadsfct}, booktitle = {International Conference on Software Engineering and Formal Methods}, interhash = {ca6142605f25c313daef39c89132986e}, intrahash = {30c6a77d86bc0e4f60a67c8a603afa5b}, keywords = {imported xack}, organization = {Springer}, pages = {361--375}, timestamp = {2025-07-29T10:29:54.000+0200}, title = {PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking}, year = 2023 }