3224 search results - page 227 / 645 » On Checking Model Checkers |
163
Voted
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
141
Voted
CAV
2005
Springer
15 years 10 months ago
2005
Springer
127
Voted
CAV
2005
Springer
15 years 10 months ago
2005
Springer
149
Voted
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
CSL
2005
Springer
15 years 10 months ago
2005
Springer