Sciweavers

11168 search results - page 1 / 2234
» Abstract State Processes
Sort
View
ASM
2003
ASM
15 years 7 months ago
Abstract State Processes
Tommaso Bolognesi, Egon Börger
90
Voted
FDL
2004
IEEE
15 years 6 months ago
Enabling SystemC Verification using Abstract State Machines
Amjad Gawanmeh, Ali Habibi, Sofiène Tahar
97
Voted
EACL
1993
ACL Anthology
15 years 3 months ago
On Abstract Finite-State Morphology
Ajit Narayanan, Lama Hashem