%0 Journal Article %1 journals/fac/BanachZSH14 %A Banach, Richard %A Zhu, Huibiao %A Su, Wen %A Huang, Runlei %D 2014 %J Formal Asp. Comput. %K %N 2 %P 319-366 %T Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application. %U http://dblp.uni-trier.de/db/journals/fac/fac26.html#BanachZSH14 %V 26

@article{journals/fac/BanachZSH14, added-at = {2023-12-13T00:45:01.000+0100}, author = {Banach, Richard and Zhu, Huibiao and Su, Wen and Huang, Runlei}, biburl = {https://www.bibsonomy.org/bibtex/2a3d8fc250e7fcf8d50dfcfc18d9a5af9/admin}, ee = {http://dx.doi.org/10.1007/s00165-012-0263-2}, interhash = {67d79be6f221dfa7147a1685f4216b30}, intrahash = {a3d8fc250e7fcf8d50dfcfc18d9a5af9}, journal = {Formal Asp. Comput.}, keywords = {}, number = 2, pages = {319-366}, timestamp = {2023-12-13T00:45:01.000+0100}, title = {Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac26.html#BanachZSH14}, volume = 26, year = 2014 }