Tilbage til artikeldetaljer
A Compositional Proof System for the Modal mu-Calculus
Download
Download PDF