Sign in

Simulation Relations for Systems with Distributed Interfaces.

Robert M. HieronsManuel Núñez
Published in: SEFM (2009)
Keyphrases