Login / Signup

Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions.

Maria PittouPanagiotis ManoliosJan ReinekeStavros Tripakis
Published in: Sci. Comput. Program. (2018)
Keyphrases