Multi-view consistency for infinitary regular languages | IEEE Conference Publication | IEEE Xplore