Sciweavers

ACTA
2010

Symmetry and partial order reduction techniques in model checking Rebeca

13 years 11 months ago
Symmetry and partial order reduction techniques in model checking Rebeca
Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad
Added 08 Dec 2010
Updated 08 Dec 2010
Type Journal
Year 2010
Where ACTA
Authors Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah, Ali Movaghar
Comments (0)