Search results for: Jérôme Feret
Biosystems > 2016 > 149 > C > 70-112
Lecture Notes in Computer Science > Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues > ASIAN’2006 > 272-300
Lecture Notes in Computer Science > Programming Languages and Systems > Distributed Programs: Verification and Analysis > 314-329
Lecture Notes in Computer Science > Transactions on Computational Systems Biology XI > Computational Models for Cell Processes > 116-137
Lecture Notes in Computer Science > Static Analysis > Mobility > 412-430
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Numerical Abstraction > 42-58
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 83-97
Lecture Notes in Computer Science > Formal Methods in Systems Biology > Contributed Papers > 103-122
Electronic Notes in Theoretical Computer Science > 2015 > 316 > Complete > 45-65