Christian Burghard, Luca Berardinelli. Visualizing Multi-dimensional State Spaces Using Selective Abstraction. In 46th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2020, Portoroz, Slovenia, August 26-28, 2020. pages 141-149, IEEE, 2020. [doi]
Abstract is missing.