@inproceedings{Wong-Toi-Hoffmann:CDC:1991,
    Author = {{Wong-Toi}, H. and {Hoffmann}, G.},
    BookTitle = {Proc. of CDC'91},
    File = {The Control of Dense Real-Time Discrete Event Systems - the-control-of-dense-realtime-discrete-event-systems - a - a - a - y.pdf},
    ISSN = {null},
    Keywords = {synthesis of timed systems},
    Month = {Dec},
    Pages = {1527--1528},
    Series = {Proceedings of the 30th IEEE Conference on Decision and Control},
    Title = {The control of dense real-time discrete event systems},
    Volume = {2},
    Year = {1991},
    bdsk-url-1 = {https://doi.org/10.1109/CDC.1991.261658},
    date-added = {2020-02-06 08:46:46 +0100},
    date-modified = {2020-02-06 11:40:14 +0100},
    doi = {10.1109/CDC.1991.261658}
}

@inproceedings{Wong-Toi-Hoffmann:CDC:1991, Author = {{Wong-Toi}, H. and {Hoffmann}, G.}, BookTitle = {Proc. of CDC'91}, File = {The Control of Dense Real-Time Discrete Event Systems - the-control-of-dense-realtime-discrete-event-systems - a - a - a - y.pdf}, ISSN = {null}, Keywords = {synthesis of timed systems}, Month = {Dec}, Pages = {1527--1528}, Series = {Proceedings of the 30th IEEE Conference on Decision and Control}, Title = {The control of dense real-time discrete event systems}, Volume = {2}, Year = {1991}, bdsk-url-1 = {https://doi.org/10.1109/CDC.1991.261658}, date-added = {2020-02-06 08:46:46 +0100}, date-modified = {2020-02-06 11:40:14 +0100}, doi = {10.1109/CDC.1991.261658} }