#### 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 |