autore :  Larsen

1 pubblicazione
page_white_acrobat Probabilistic Extensions of Process Algebras (2001) — Jonsson Bengt, Kim G. Larsen, Wang Yi