Login / Signup

Signature-based Symbolic Algorithm for Optimal Markov Chain Lumping.

Salem Derisavi
Published in: QEST (2007)
Keyphrases