Partial Order Reductions for Timed Systems

Johan Bengtsson; Bengt Jonsson; Johan Lilius; Yi Wang

doi:10.1007/BFb0055643

Partial Order Reductions for Timed Systems

Johan Bengtsson, Bengt Jonsson, Johan Lilius, Yi Wang

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

108 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	CONCUR'98 Concurrency Theory - 9th International Conference Nice, France, September 8–11, 1998 Proceedings
Editors	Davide Sangiorgi, Robert de Simone
Pages	485–500
ISBN (Electronic)	978-3-540-68455-8
DOIs	https://doi.org/10.1007/BFb0055643
Publication status	Published - 1998
MoE publication type	A4 Article in a conference publication
Event	conference; 1998-09-08; 1998-09-11 - 9th International Conference CONCUR'98 Concurrency Theory Duration: 8 Sept 1998 → 11 Sept 1998

Conference

Conference	conference; 1998-09-08; 1998-09-11
Period	08/09/98 → 11/09/98

Access to Document

10.1007/BFb0055643

Cite this

@inproceedings{f742062909b5434d8643c39cc33c4173,

title = "Partial Order Reductions for Timed Systems",

author = "Johan Bengtsson and Bengt Jonsson and Johan Lilius and Yi Wang",

year = "1998",

doi = "10.1007/BFb0055643",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-540-64896-3",

pages = "485–500",

editor = "Davide Sangiorgi and {de Simone}, Robert",

booktitle = "CONCUR'98 Concurrency Theory - 9th International Conference Nice, France, September 8–11, 1998 Proceedings",

note = "conference; 1998-09-08; 1998-09-11 ; Conference date: 08-09-1998 Through 11-09-1998",

}

Partial Order Reductions for Timed Systems. / Bengtsson, Johan; Jonsson, Bengt; Lilius, Johan et al.
CONCUR'98 Concurrency Theory - 9th International Conference Nice, France, September 8–11, 1998 Proceedings. ed. / Davide Sangiorgi; Robert de Simone. 1998. p. 485–500.

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

TY - GEN

T1 - Partial Order Reductions for Timed Systems

AU - Bengtsson, Johan

AU - Jonsson, Bengt

AU - Lilius, Johan

AU - Wang, Yi

PY - 1998

Y1 - 1998

U2 - 10.1007/BFb0055643

DO - 10.1007/BFb0055643

M3 - Konferensbidrag

SN - 978-3-540-64896-3

SP - 485

EP - 500

BT - CONCUR'98 Concurrency Theory - 9th International Conference Nice, France, September 8–11, 1998 Proceedings

A2 - Sangiorgi, Davide

A2 - de Simone, Robert

T2 - conference; 1998-09-08; 1998-09-11

Y2 - 8 September 1998 through 11 September 1998

ER -