Login / Signup

Finite Bisimulations for Dynamical Systems with Overlapping Trajectories.

Béatrice BérardPatricia BouyerVincent Jugé
Published in: CSL (2018)
Keyphrases