Abstraction of Parallel Uniform Processes with Data.

Jun Pang, Jaco van de Pol, Miguel Valero Espada

Browse the full SEFM paper archive.