Published September 17, 2002
| Version v1
Journal article
Open
On the Formalization of the Modal μ-Calculus in the Calculus of Inductive Constructions
Authors/Creators
Description
n/a