Sciweavers

31387 search results - page 291 / 6278
» Abstracting abstract machines
Sort
View
DAGSTUHL
2008
15 years 8 months ago
08061 Abstracts Collection -- Types, Logics and Semantics for State
Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morr...
132
Voted
DAGSTUHL
2008
15 years 8 months ago
08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems
Betty H. C. Cheng, Holger Giese, Paola Inverardi, ...
DMS
2008
126views Multimedia» more  DMS 2008»
15 years 8 months ago
Abstract Euler Diagram Isomorphism
Gem Stapleton, Andrew Fish, Peter Rodgers