Login / Signup

Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives.

Alastair F. DonaldsonAlice Miller
Published in: ATVA (2006)
Keyphrases