3909 search results - page 177 / 782 » Extreme Model Checking |
90
Voted
CAV
1997
Springer
15 years 7 months ago
1997
Springer
93
Voted
CAV
1997
Springer
15 years 7 months ago
1997
Springer
150
Voted
CONCUR
1997
Springer
15 years 7 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...
96
Voted
LICS
1996
IEEE
15 years 7 months ago
1996
IEEE
93
Voted
ICALP
1997
Springer
15 years 6 months ago
1997
Springer