#### DMCA

## Monadic Second-order Logic for Parameterized Verification (1994)

### Cached

### Download Links

- [www.mpi-sb.mpg.de]
- [www.mpi-inf.mpg.de]
- [www.mpi-inf.mpg.de]
- [people.mpi-inf.mpg.de]
- [www.mpi-inf.mpg.de]
- [www.mpi-sb.mpg.de]
- [www.mpi-inf.mpg.de]
- [www.mpi-inf.mpg.de]
- [people.mpi-inf.mpg.de]
- [drona.csa.iisc.ernet.in]
- [drona.csa.iisc.ernet.in]
- [www.mpi-inf.mpg.de]
- [kam.mff.cuni.cz]
- [people.mpi-inf.mpg.de]
- [www.mpi-inf.mpg.de]
- [drona.csa.iisc.ernet.in]
- [drona.csa.iisc.ernet.in]

by
Deepak Ajwani
,
Khaled Elbassioni
,
Sathish Govindarajan
,
Saurabh Ray

Venue: | in: Proc. 19th Symp. on Parallelism in Algorithms and Architectures (SPAA |

Citations: | 21 - 0 self |