Symmetry and partial order reduction techniques in model checking Rebeca

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

Research output: Book/ReportReportAcademic

Original languageEnglish
Place of PublicationAmsterdam
PublisherCentrum voor Wiskunde en Informatica
Number of pages30
Publication statusPublished - 2007

Publication series

NameCWI report. SEN-R : software engineering
Volume0704
ISSN (Print)1386-369X

Cite this

Jaghoori, M. M., Sirjani, M., Mousavi, M., & Movaghar, A. (2007). Symmetry and partial order reduction techniques in model checking Rebeca. (CWI report. SEN-R : software engineering; Vol. 0704). Amsterdam: Centrum voor Wiskunde en Informatica.
Jaghoori, M.M. ; Sirjani, M. ; Mousavi, M. ; Movaghar, A. / Symmetry and partial order reduction techniques in model checking Rebeca. Amsterdam : Centrum voor Wiskunde en Informatica, 2007. 30 p. (CWI report. SEN-R : software engineering).
@book{2a473131d8364280847775d764f6c18b,
title = "Symmetry and partial order reduction techniques in model checking Rebeca",
author = "M.M. Jaghoori and M. Sirjani and M. Mousavi and A. Movaghar",
year = "2007",
language = "English",
series = "CWI report. SEN-R : software engineering",
publisher = "Centrum voor Wiskunde en Informatica",

}

Jaghoori, MM, Sirjani, M, Mousavi, M & Movaghar, A 2007, Symmetry and partial order reduction techniques in model checking Rebeca. CWI report. SEN-R : software engineering, vol. 0704, Centrum voor Wiskunde en Informatica, Amsterdam.

Symmetry and partial order reduction techniques in model checking Rebeca. / Jaghoori, M.M.; Sirjani, M.; Mousavi, M.; Movaghar, A.

Amsterdam : Centrum voor Wiskunde en Informatica, 2007. 30 p. (CWI report. SEN-R : software engineering; Vol. 0704).

Research output: Book/ReportReportAcademic

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 -

Jaghoori MM, Sirjani M, Mousavi M, Movaghar A. Symmetry and partial order reduction techniques in model checking Rebeca. Amsterdam: Centrum voor Wiskunde en Informatica, 2007. 30 p. (CWI report. SEN-R : software engineering).