Login / Signup

Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization.

Pedro R. D'ArgenioNicolás WolovickPedro Sánchez TerrafPablo Celayes
Published in: QEST (2009)
Keyphrases