Xiaosong Gu

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 6

Top Topics

Service Systems

Pspace Complete

Temporal Properties

Automated Verification

Top Venues

Adv. Eng. Informatics

Int. J. Softw. Informatics

Publications