Login / Signup

PMaude: Rewrite-based Specification Language for Probabilistic Object Systems.

Gul A. AghaJosé MeseguerKoushik Sen
Published in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases