Search results for: Geguang Pu
Formal Methods in System Design > 2019 > 54 > 2 > 164-190
Science China Information Sciences > 2018 > 61 > 12 > 1-16
Formal Aspects of Computing > 2018 > 30 > 2 > 193-217
IEEE Transactions on Parallel and Distributed Systems > 2017 > 28 > 5 > 1299 - 1314
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Internetware and Web-Based Systems > 264-283
IEEE Transactions on Computers > 2016 > 65 > 7 > 2059 - 2073
Lecture Notes in Computer Science > Web Engineering > Navigation > 181-188
Lecture Notes in Computer Science > Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues > ASIAN’2006 > 28-36
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Web Services and Workflow > 138-154
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Regular Papers > 251-266
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Model Transformation and Analysis for Industrial Scale Validation > 594-608
Lecture Notes in Computer Science > Distributed Computing and Internet Technology > Section 1: Distributed Systems and Languages > 1-12
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Internetware and Web-Based Systems > 246-263
Science China Information Sciences > 2016 > 59 > 9 > 1-2