Verification of Distributed Applications by translating CCS to Binary Decision Diagrams.

Klaus Gotthardt Reiner Lichtenecker Verification of Distributed Applications by translating CCS to Binary Decision Diagrams. 39-48 1997 conf/fbt/1997 FBT db/conf/fbt/fbt1997.html#GotthardtL97