Liang Chen
2 published titles
An interleaving model for real-time systems
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
Decidability and completeness in real-time processes
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
