The Complexity of Deciding Characteristic Formulae in Van Glabbeek's Branching-Time Spectrum.

Luca Aceto, Antonis Achilleos, Aggeliki Chalki, Anna Inglfsdttir

Browse the full CSL paper archive.