Sciweavers

41472 search results - page 428 / 8295
» it 2006
Sort
View
134
Voted
JACM
2000
55views more  JACM 2000»
15 years 6 months ago
An automata-theoretic approach to branching-time model checking
Orna Kupferman, Moshe Y. Vardi, Pierre Wolper
133
Voted
JAL
2000
47views more  JAL 2000»
15 years 6 months ago
Incremental and Decremental Maintenance of Planar Width
David Eppstein