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

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

108 Citeringar (Scopus)

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	CONCUR'98 Concurrency Theory - 9th International Conference Nice, France, September 8–11, 1998 Proceedings
Redaktörer	Davide Sangiorgi, Robert de Simone
Sidor	485–500
ISBN (elektroniskt)	978-3-540-68455-8
DOI	https://doi.org/10.1007/BFb0055643
Status	Publicerad - 1998
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	conference; 1998-09-08; 1998-09-11 - 9th International Conference CONCUR'98 Concurrency Theory Varaktighet: 8 sep. 1998 → 11 sep. 1998

Konferens

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

Åtkomst av dokument

10.1007/BFb0055643

Citera det här

@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. red. / Davide Sangiorgi; Robert de Simone. 1998. s. 485–500.

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › 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 -