Inproceedings,

Ambiguous Classes in the Games µ-Calculus Hierarchy.

, and .
FoSSaCS, volume 2620 of Lecture Notes in Computer Science, page 70-86. Springer, (2003)

Meta data

Tags

Users

  • @dblp

Comments and Reviews