Login / Signup

Stubborn set methods for process algebras.

Antti Valmari
Published in: Partial Order Methods in Verification (1996)
Keyphrases