 |
 |
||
| The Laboratory for Computer Science (LCS) was founded in 1993 as a department of Institute of Software, upgraded to a Key Laboratory of Chinese Academy of Sciences in 1994, and further upgraded to a State Key Laboratory in 2007. |
1 | ||
| 2 | |||
| 3 | |||
| 4 | |||
| <<more | <<more | ||
|
|
|
||
| 2007.8.20 | An Introduction to Core-sets and Discrete Frechet Distance | ATVA 2006 | |
| 2007.8.15 | Controller Synthesis for Real-Time Systems | QSIC 2003 | |
| 2007.7.26 | On the limitations of finite state models as sources of tests for access control and authentication | ||
| 2007.6.27 | Compositional Verification of Timed Systems | ||
| 2007.6.26 | Modelling and Refinement of Component-based Software Systems: A Coalgebraic Perspective | ||
| <<more | <<more | ||
 |
