375 search results - page 16 / 75 » Efficient large-scale model checking |
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
99
Voted
CHARME
2003
Springer
15 years 8 months ago
2003
Springer
129
Voted
FAW
2008
Springer
15 years 5 months ago
2008
Springer
We prove that there exists an O(log(n))-labeling scheme for every first-order formula with free set variables in every class of graphs that is nicely locally cwd-decomposable, whic...
111
Voted
TC
2010
15 years 2 months ago
2010
62
Voted
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
