Efficient Symbolic Execution of Large Quantifications in a Process Algebra.

Benot Fraikin, Marc Frappier

Browse the full ICFEM paper archive.