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

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

Bibliographical note

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

Cite this

• APA
• Author
• BIBTEX
• Harvard
• Standard
• RIS
• Vancouver

Peled, D. (1996). Partial order reduction: linear and branching temporal logics and process algebras. In D. A. Peled, V. R. Prat, & G. J. Holzmann (Eds.), DIMACS workshop on Partial order methods in verification AMS Press.

Peled, D. / Partial order reduction: linear and branching temporal logics and process algebras. DIMACS workshop on Partial order methods in verification. editor / Doron A. Peled ; Vaughan R. Prat ; Gerard J. Holzmann. AMS Press, 1996.

@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",

}

Peled, D 1996, Partial order reduction: linear and branching temporal logics and process algebras. in DA Peled, VR Prat & GJ Holzmann (eds), DIMACS workshop on Partial order methods in verification. AMS Press.

Partial order reduction: linear and branching temporal logics and process algebras. / Peled, D.
DIMACS workshop on Partial order methods in verification. ed. / Doron A. Peled; Vaughan R. Prat; Gerard J. Holzmann. AMS Press, 1996.

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

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 -

Peled D. Partial order reduction: linear and branching temporal logics and process algebras. In Peled DA, Prat VR, Holzmann GJ, editors, DIMACS workshop on Partial order methods in verification. AMS Press. 1996