Sciweavers

2056 search results - page 13 / 412
» time 2000
Sort
View
TACAS
2000
Springer
96views Algorithms» more  TACAS 2000»
14 years 1 months ago
On Memory-Block Traversal Problems in Model-Checking Timed-Systems
Fredrik Larsson, Paul Pettersson, Wang Yi