Works matching DE "RABECA"

Symmetry and partial order reduction techniques in model checking Rebeca.

Published in:

Acta Informatica, 2010, v. 47, n. 1, p. 33, doi. 10.1007/s00236-009-0111-x

By:

• Jaghoori, Mohammad Mahdi;
• Sirjani, Marjan;
• Mousavi, Mohammad Zeza;
• Khamespanah, Ehsan;
• Movaghar, Ali

Publication type:

Article