Monadic Second-order Logic for Parameterized Verification (1994)
Cached
Download Links
by
Deepak Ajwani
,
Khaled Elbassioni
,
Sathish Govindarajan
,
Saurabh Ray
| Venue: | in: Proc. 19th Symp. on Parallelism in Algorithms and Architectures (SPAA |
| Citations: | 12 - 0 self |







