The tool is maintained by :

• Depeng Liu (Institute of Software, CAS)

Following people are also involved in the dpCTL project:

• Bow-Yaw Wang (Institute of Information Science, Academia Sinica)

• Lijun Zhang (Institute of Software, CAS)

Questions, comments and suggestions are welcome to be sent to one of the developers.

Address for visiting: Building 5, Software Park, No.4, South 4th Street, Zhongguancun, Haidian District, Beijing, China

Zip Code: 100190