Results 1 to 10 of about 19 (19)
Some of the next articles are maybe not open access.

Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits

Electronic Notes in Theoretical Computer Science, 2004
Jesper Bengtson
exaly  

Comparison of Major Compounds in Illicii Veri Fructus by Extraction Solvents

The Korea Journal of Herbology, 2013
Hyo Seon Kim, Goya Choi, Jin Mi Chun
exaly  

可验证计算研究进展

Scientia Sinica Informationis, 2015
Rui Xue
exaly  

Home - About - Disclaimer - Privacy