@article{Ramadge_1989,
    title = {Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata},
    volume = {34},
    issn = {0018-9286},
    url = {http://dx.doi.org/10.1109/9.8645},
    doi = {10.1109/9.8645},
    number = {1},
    journal = {IEEE Transactions on Automatic Control},
    publisher = {Institute of Electrical and Electronics Engineers (IEEE)},
    author = {Ramadge, P.J.G.},
    year = {1989},
    pages = {10–19},
    date-added = {2026-2-17 16:45:2 +0100}
}

@article{Ramadge_1989, title = {Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata}, volume = {34}, issn = {0018-9286}, url = {http://dx.doi.org/10.1109/9.8645}, doi = {10.1109/9.8645}, number = {1}, journal = {IEEE Transactions on Automatic Control}, publisher = {Institute of Electrical and Electronics Engineers (IEEE)}, author = {Ramadge, P.J.G.}, year = {1989}, pages = {10–19}, date-added = {2026-2-17 16:45:2 +0100} }