Decidability and completeness in real-time processes
de Liang Chen
Ediciones (1)
- Decidability and completeness in real-time processes. (1991)
University of Edinburgh, Laboratory for Foundations of Computer Science · inglés
de Liang Chen
University of Edinburgh, Laboratory for Foundations of Computer Science · inglés