DMCA

The Algebraic Mu-Calculus and MTBDDs (1998)

by Christel Baier , Edmund M. Clarke
Venue:In Proceedings of the 5th Workshop on Logic, Language, Information and Computation, (WoLLIC’98
Citations:13 - 0 self