Sciweavers

31387 search results - page 303 / 6278
» Abstracting abstract machines
Sort
View
DAGSTUHL
2006
15 years 8 months ago
Abstract Interpretation of Graph Transformation
Jörg Bauer, Reinhard Wilhelm
DAGSTUHL
2006
15 years 8 months ago
06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems
David M. Nicol, Corrado Priami, Hanne Riis Nielson...
DAGSTUHL
2006
15 years 8 months ago
06431 Abstracts Collection -- Scalable Data Management in Evolving Networks
Stefan Böttcher, Le Gruenwald, Pedro Jos&eacu...