Details for the publication BispingJN22.

Benjamin Bisping, David N. Jansen (), Uwe Nestmann: Deciding All Behavioral Equivalences at Once: A Game for Linear-Time-Branching-Time Spectroscopy. In Log. Methods Comput. Sci. 18(3), 2022. DOI BIB