Biblio
Filters: Author is Maria Pittou [Clear All Filters]
.
2016. Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions. Formal Aspects of Component Software - 13th International Conference, {FACS} 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. :73–91.
.
2016. Multi-view consistency for infinitary regular languages. International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, {SAMOS} 2016, Agios Konstantinos, Samos Island, Greece, July 17-21, 2016. :148–155.