53

Compositional model-checking for real-time systems

Year:
1998
Language:
english
File:
PDF, 89 KB
english, 1998
54

SPLAW

Year:
1998
Language:
english
File:
PDF, 889 KB
english, 1998
79

Parametric analysis for linear hybrid systems

Year:
1999
Language:
english
File:
PDF, 2.56 MB
english, 1999
92

Non-coding RNAs: new biomarkers and therapeutic targets for esophageal cancer

Year:
2017
Language:
english
File:
PDF, 861 KB
english, 2017