Symmetry and partial order reduction techniques in model checking Rebeca

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

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Originele taal-2	Engels
Plaats van productie	Amsterdam
Uitgeverij	Centrum voor Wiskunde en Informatica
Aantal pagina's	30
Status	Gepubliceerd - 2007

Naam	CWI report. SEN-R : software engineering
Volume	0704
ISSN van geprinte versie	1386-369X

Andere bestanden en links

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 -