Partial order reduction: linear and branching temporal logics and process algebras

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	American English
Title of host publication	DIMACS workshop on Partial order methods in verification
Editors	Doron A. Peled, Vaughan R. Prat, Gerard J. Holzmann
Publisher	AMS Press
State	Published - 1996

Place of conference:Princeton University, Princeton, NJ, USA

Cite this

@inproceedings{9f4a79d7b825461fa1655876d137cf08,

title = "Partial order reduction: linear and branching temporal logics and process algebras",

author = "D. Peled",

note = "Place of conference:Princeton University, Princeton, NJ, USA",

year = "1996",

language = "American English",

editor = "Peled, \{Doron A.\} and Prat, \{Vaughan R.\} and Holzmann, \{Gerard J.\}",

booktitle = "DIMACS workshop on Partial order methods in verification",

publisher = "AMS Press",

}

TY - GEN

T1 - Partial order reduction: linear and branching temporal logics and process algebras

AU - Peled, D.

N1 - Place of conference:Princeton University, Princeton, NJ, USA

PY - 1996

Y1 - 1996

M3 - Conference contribution

BT - DIMACS workshop on Partial order methods in verification

A2 - Peled, Doron A.

A2 - Prat, Vaughan R.

A2 - Holzmann, Gerard J.

PB - AMS Press

ER -