Sciweavers

40 search results - page 3 / 8
» eceasst 2010
Sort
View
68
Voted
ECEASST
2010
14 years 11 months ago
On A Graph Formalism for Ordered Edges
Maarten de Mol, Arend Rensink
100
Voted
ECEASST
2010
14 years 8 months ago
Distributed Graph-Based State Space Generation
Stefan Blom, Gijs Kant, Arend Rensink
ECEASST
2010
14 years 8 months ago
Modeling of Self-Organizing Systems: An Overview
Richard Holzer, Patrick Wüchner, Hermann de M...
101
Voted
ECEASST
2010
14 years 8 months ago
Incremental Pattern Matching in Graph-Based State Space Exploration
AmirHossein Ghamarian, Arash Jalali, Arend Rensink
ECEASST
2010
14 years 11 months ago
On Teaching Logic and Algebraic Specification
ation and logic. The logic courses mainly provided a very abstract and
Till Mossakowski