Monadic Second-order Logic for Parameterized Verification (1994)

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