Sciweavers

Share
12 search results - page 1 / 3
» fm 1998
Sort
View
FM
1998
Springer
198views Formal Methods» more  FM 1998»
10 years 8 months ago
Automated Test Set Generation for Statecharts
Kirill Bogdanov, Mike Holcombe, Harbhajan Singh
SIAMDM
1998
165views more  SIAMDM 1998»
10 years 3 months ago
The Number of Independent Sets in a Grid Graph
If f(m, n) is the (vertex) independence number of the m × n grid graph, then we show that the double limit η = def limm,n→∞ f(m, n) 1 mn exists, thereby refining earlier res...
Neil J. Calkin, Herbert S. Wilf
books