Generating BDDs for Symbolic Model Checking in CCS.

Reinhard Enders, Thomas Filkorn, Dirk Taubner

Browse the full CAV paper archive.