Chris George

Publication Activity (10 Years)

Years Active: 1987-2021
Publications (10 Years): 4

Top Topics

Enterprise Systems

Temporal Properties

Top Venues

Environ. Model. Softw.

Formal Aspects Comput.

Publications