## Symmetry and partial order reduction techniques in model checking Rebeca (2007)

by
M. M. Jaghoori
,
M. Sirjani
,
M. R. Mousavi
,
A. Movaghar

Citations: | 2 - 0 self |

### BibTeX

@MISC{Jaghoori07symmetryand,

author = {M. M. Jaghoori and M. Sirjani and M. R. Mousavi and A. Movaghar},

title = { Symmetry and partial order reduction techniques in model checking Rebeca},

year = {2007}

}

### OpenURL

### Abstract