共 50 条
- [43] An Interval-Based Inference of Variant Parametric Types PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5502 : 112 - +
- [44] An interval-based algebra for restricted event detection FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2003, 2791 : 121 - 133
- [46] Interval-based Recording of Generated Pseudorandom Numbers REVISTA INTERNACIONAL DE METODOS NUMERICOS PARA CALCULO Y DISENO EN INGENIERIA, 2019, 35 (02):