Quantified reduced views of state graphs using Markovian and timed observational equivalence.

Khalil DriraYoucef AtamnaGuy Juanole
Published in: PSTV (1995)