Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
Bisping, Benjamin ; Jansen, David N ; Nestmann, Uwe
arXiv.org, 2022-08
[Periódico revisado por pares]
Ithaca: Cornell University Library, arXiv.org
Texto completo disponível