ratel

n.

蜜獾（猫的一种）；

Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE
Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE
Effect of physical activity intervention on body composition in young children: influence of body mass index status and gender
Minimal state graph generation ☆
Pathology of arrhythmogenic right ventricular cardiomyopathy/dysplasia--an autopsy study of 20 forensic cases
Generating efficient code from data-flow programs
N6-methyladenine: the other methylated base of DNA
NANOSTRUCTURED INDIUM-DOPED IRON OXIDE
Generating efficient code from data-flow programs
Applied Radiation and Isotopes