Login / Signup

Characterising Probabilistic Processes Logically - (Extended Abstract).

Yuxin DengRob J. van Glabbeek
Published in: LPAR (Yogyakarta) (2010)
Keyphrases