Login / Signup

Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions.

Maria PittouStavros Tripakis
Published in: FACS (2016)
Keyphrases