![](/img/cover-not-exists.png)
Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions
Pittou, Maria, Manolios, Panagiotis, Reineke, Jan, Tripakis, StavrosVolume:
167
Language:
english
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2018.07.003
Date:
December, 2018
File:
PDF, 597 KB
english, 2018