Sciweavers

2877 search results - page 10 / 576
» Computational Biology
Sort
View
ISMB
2007
14 years 3 days ago
Dead-End Elimination with Backbone Flexibility
Ivelin Georgiev, Bruce Randall Donald
ASM
2010
ASM
13 years 11 months ago
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications
Paolo Arcaini, Angelo Gargantini, Elvinia Riccoben...