Sciweavers

31387 search results - page 208 / 6278
» Abstracts
Sort
View
ASM
1998
ASM
15 years 11 months ago
Interacting Abstract State Machines
Marcelo de Almeida Maia, Vladimir Oliveira Di Iori...
131
Voted
CAV
1998
Springer
77views Hardware» more  CAV 1998»
15 years 11 months ago
Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures
Michael Colón, Tomás E. Uribe
CIA
1998
Springer
15 years 11 months ago
Melding Abstractions with Mobile Agents
Antonio Corradi, Marco Cremonini, Cesare Stefanell...