DMCA

Efficient Model Checking via the Equational µ-Calculus (1996)

Cached

Download Links

by Girish Bhat , Rance Cleaveland
Venue:In Proc. 11th IEEE Symp. Logic in Comp. Sci
Citations:21 - 0 self