Hangju Cho, Steven I. Marcus. Supremal and Maximal Sublanguages Arising in Supervisor Synthesis Problems with Partial Observations. Theory Comput. Syst., 22(3):177-211, 1989.
@article{ChoM89,
title = {Supremal and Maximal Sublanguages Arising in Supervisor Synthesis Problems with Partial Observations},
author = {Hangju Cho and Steven I. Marcus},
year = {1989},
researchr = {https://researchr.org/publication/ChoM89},
cites = {0},
citedby = {0},
journal = {Theory Comput. Syst.},
volume = {22},
number = {3},
pages = {177-211},
}