DMCA

Automatic Equivalence Proofs for Non-deterministic

Cached

Download Links

by Marcello Bonsanguea , Georgiana Caltaisb , Eugen-ioan Goriacb , Dorel Lucanuc , Jan Ruttend , Ra Silvae