Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Aktuelle Kontaktadresse
| Land | China, VR |
|---|---|
| Ort | Beijing |
| Universität/Institution | Chinese Academy of Sciences (CAS) |
| Institut/Abteilung | Institute of Software, State Key Laboratory of Computer Science |
Profil
| Fachgebiet | Numerik, Optimierung, Simulation,Theoretische Informatik |
|---|---|
| Keywords | liveness, safety, interval temporal logic, formal verification, Nonblocking synchronization |