4341 search results - page 208 / 869 » Quantitative Model checking |
77
Voted
CAV
1997
Springer
15 years 4 months ago
1997
Springer
79
Voted
CAV
1997
Springer
15 years 4 months ago
1997
Springer
131
Voted
CONCUR
1997
Springer
15 years 4 months ago
1997
Springer
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
LICS
1996
IEEE
15 years 4 months ago
1996
IEEE
ICALP
1997
Springer
15 years 4 months ago
1997
Springer