Symmetry and partial order reduction techniques in model checking Rebeca

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

Research output: Book/Report › Report › Academic

Original language	English
Place of Publication	Amsterdam
Publisher	Centrum voor Wiskunde en Informatica
Number of pages	30
Publication status	Published - 2007

Name	CWI report. SEN-R : software engineering
Volume	0704
ISSN (Print)	1386-369X

Cite this

TY - BOOK

T1 - Symmetry and partial order reduction techniques in model checking Rebeca

AU - Jaghoori, M.M.

AU - Sirjani, M.

AU - Mousavi, M.

AU - Movaghar, A.

PY - 2007

Y1 - 2007

UR - http://oai.cwi.nl/oai/asset/11810/11810D.pdf

M3 - Report

T3 - CWI report. SEN-R : software engineering

BT - Symmetry and partial order reduction techniques in model checking Rebeca

PB - Centrum voor Wiskunde en Informatica

CY - Amsterdam

ER -