Multi-view consistency for infinitary regular languages
| Title | Multi-view consistency for infinitary regular languages |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Maria Pittou, Stavros Tripakis |
| Conference Name | International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, SAMOS 2016, Agios Konstantinos, Samos Island, Greece, July 17-21, 2016 |
| Keywords | 1329759 |
| URL | https://doi.org/10.1109/SAMOS.2016.7818342 |
| DOI | 10.1109/SAMOS.2016.7818342 |
| Citation Key | DBLP:conf/samos/PittouT16 |