Search results
Journal of Synchrotron Radiation > 29 > 3 > 644 - 653
Automatic Control and Computer Sciences > 2017 > 51 > 7 > 523-530
Fluid Phase Equilibria > 2017 > 451 > C > 91-95
Studies in Computational Intelligence > Software Engineering Research, Management and Applications 2009 > 119-134
Lecture Notes in Computer Science > Software Security - Theories and Systems > Part 2: Verification of Security Properties > 154-173
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Formal Methods II > 122-134
Lecture Notes in Computer Science > Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation > 110-124
International Journal on Software Tools for Technology Transfer > 2014 > 16 > 5 > 457-464
Procedia Engineering > 2013 > 56 > Complete > 849-856
Biological Theory > 2011 > 6 > 2 > 132-140
Microfluidics and Nanofluidics > 2011 > 10 > 4 > 821-829