Search results for: Katia Hristova
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 190-206
Open Chemistry > 2012 > 10 > 1 > 137-145
Open Chemistry > 2012 > 10 > 1 > 137-145
Central European Journal of Chemistry > 2012 > 10 > 1 > 137-145