UM
Current Search ((ALL:Duration Calculus))
Filters none
 1-8 of 8
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4 Formal Aspects of Computing 2 HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) 1
Nordic Journal of Computing 1 Proceedings - 1st Asia-Pacific Conference on Quality Software, APAQS 2000 1 Programming Concepts and Methods PROCOMET ’98 1
Ruan Jian Xue Bao/Journal of Software 1 软件学报 1