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:14 - 0 self