Qualitative concurrent parity games

From MaRDI portal
Publication:2946647