![]() ; ; Pang, Jun ![]() in Proceedings of the 19th International Conference on Formal Engineering Methods (2017) Detailed reference viewed: 137 (1 UL)![]() ; Pang, Jun ![]() in Formal Aspects of Computing (2016), 28(3), 343-344 Detailed reference viewed: 52 (4 UL)![]() ; Pang, Jun ![]() in Formal Aspects of Computing (2016), 28(5), 723-724 Detailed reference viewed: 46 (3 UL)![]() ; ; et al in Frontiers of Computer Science (2014), 8(1), 1-16 Detailed reference viewed: 144 (5 UL)![]() ; Pang, Jun ![]() in Proceedings of 19th IEEE Conference on Engineering of Complex Computer Systems (ICECCS) (2014) Detailed reference viewed: 113 (0 UL) |
||