Publication

[BispingJN22] Deciding All Behavioral Equivalences at Once: A Game for Linear-Time-Branching-Time Spectroscopy Bisping, B.; Jansen, D. N. and Nestmann, U. In Log. Methods Comput. Sci., 18, 2022. doi.. 
Downloads: bibURL: https://doi.org/10.46298/lmcs-18(3:19)2022