Jump to Content

Parallel Assignments in Software Model Checking

Murray Stokely
Sagar Chaki
Joel Ouaknine
Electr. Notes Theor. Comput. Sci., vol. 157 (2006), pp. 77-94

Abstract