Riccardo Sisto Using binary decision diagrams for representation and analysis of communication protocols. 81-98 2000 32 Computer Networks 1 db/journals/cn/cn32.html#Sisto00 http://dx.doi.org/10.1016/S1389-1286(99)00125-5