Hochschule
Guizhou University
Guizhou University – Hochschule bzw. Forschungseinrichtung mit Aktivitäten in Forschung und Innovation.
Forschungsprojekte
- Uniform Interpolation Closure for Branching Time Temporal Logics Computation Tree Logic (CTL) is a fundamental formalism for specifying and reasoning about the behavior of no…
- EU-China joint action to increase development and adoption of IPM tools The continuous stream of invasive agricultural pests and chronic re-emergence of key ones prompt for implemen…