Approximating Markovian testing equivalence

Alessandro Aldini. Approximating Markovian testing equivalence. Theoretical Computer Science, 413(1):73-86, 2012. [doi]

Abstract

Abstract is missing.