4047 search results - page 210 / 810 » Algebraic Model Checking |
124
Voted
CAV
1997
Springer
15 years 10 months ago
1997
Springer
127
Voted
CAV
1997
Springer
15 years 10 months ago
1997
Springer
203
click to vote
CONCUR
1997
Springer
15 years 10 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...
135
Voted
LICS
1996
IEEE
15 years 10 months ago
1996
IEEE
134
Voted
ICALP
1997
Springer
15 years 10 months ago
1997
Springer