Login / Signup

PROBMELA: a modeling language for communicating probabilistic processes.

Christel BaierFrank CiesinskiMarcus Größer
Published in: MEMOCODE (2004)
Keyphrases