A verified model checker for the modal µ-calculus in Coq (1998)

Cached

Download Links

by Christoph Sprenger
Venue:In TACAS, volume 1384 of LNCS
Citations:10 - 0 self