Sciweavers

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