Sciweavers

10435 search results - page 18 / 2087
» Computational Biology and Language
Sort
View
ASM
2010
ASM
13 years 12 months ago
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications
Paolo Arcaini, Angelo Gargantini, Elvinia Riccoben...
ASM
2008
ASM
13 years 12 months ago
From ABZ to Cryptography
Eerke A. Boiten