Dewan Mohammad Moksedul Alam, Xudong He, William C. Chu. Modeling and Analyzing Hybrid Systems Using Hybrid Predicate Transition Nets (S). In Óscar Mortágua Pereira, editor, The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018. pages 397-396, KSI Research Inc. and Knowledge Systems Institute Graduate School, 2018. [doi]
Abstract is missing.