%0 Journal Article %1 journals/deds/WaezWDR17 %A Waez, Md Tawhid Bin %A Wasowski, Andrzej %A Dingel, Juergen %A Rudie, Karen %D 2017 %J Discret. Event Dyn. Syst. %K dblp %N 2 %P 407-441 %T Controller synthesis for dynamic hierarchical real-time plants using timed automata. %U http://dblp.uni-trier.de/db/journals/deds/deds27.html#WaezWDR17 %V 27

@article{journals/deds/WaezWDR17, added-at = {2024-02-05T00:00:00.000+0100}, author = {Waez, Md Tawhid Bin and Wasowski, Andrzej and Dingel, Juergen and Rudie, Karen}, biburl = {https://www.bibsonomy.org/bibtex/2d0334225d649120bf7bcf344fb239eda/dblp}, ee = {https://doi.org/10.1007/s10626-017-0240-2}, interhash = {194d4427e9c980b246c2c14ccf981d1b}, intrahash = {d0334225d649120bf7bcf344fb239eda}, journal = {Discret. Event Dyn. Syst.}, keywords = {dblp}, number = 2, pages = {407-441}, timestamp = {2024-04-08T10:17:09.000+0200}, title = {Controller synthesis for dynamic hierarchical real-time plants using timed automata.}, url = {http://dblp.uni-trier.de/db/journals/deds/deds27.html#WaezWDR17}, volume = 27, year = 2017 }