Google Research

Parallel Assignments in Software Model Checking

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


No abstract available; check out the Download or Google Scholar links above for publications details.

Learn more about how we do research

We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work