Author:
Li Jeh-Hsuan,Chang Chuei-Tin,Jiang Da
Subject
General Chemical Engineering,General Chemistry
Reference17 articles.
1. A theory of timed automata;Alur;Theoretical Computer Science,1994
2. Behrmann,G., David, A., & Larsen, K. G. (2006). A Tutorial on UPPAAL 4.0. http://www.ida.liu.se/∼TDTS07/labs/uppaal_tutorial_long.pdf.
3. Bengtsson, J., Yi, W., 2004. Timed automata: semantics, algorithms and tools. In: W. Reisig, G. Rozenberg (Eds.), Lecture Notes on Concurrency and Petri Nets. LNCS 3098, Springer-Verlag.
4. Bozga, M., Daws, C., Maler, O., Olivero, A., Tripakis, S., Yovine, S. (1998). Kronos: a model-checking tool for real-time systems. In: Proceedings of the 10th International Conference on Computer Aided Verification, No. 1427 in Lecture Notes in Computer Science, Springer-Verlag, pp. 546–550.
5. A combined MILP and logic-based approach to the synthesis of operating procedures for batch plants;Crooks;Chemical Engineering Communications,1992
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献