Nr. 446 (1993): PB-446 On Reasoning about Infinite-State Systems in the Modal µ-Calculus

Publiceret: 1993-06-01

Articles