Efficient Symbolic Model Checking for Process Algebras.

Jos Vander Meulen, Charles Pecheur

Browse the full FMICS paper archive.