Partial-order reduction techniques for real-time model checking

D.R. Dams; R.T. Gerth; B.T. Knaack; R. Kuiper

Partial-order reduction techniques for real-time model checking

D.R. Dams, R.T. Gerth, B.T. Knaack, R. Kuiper

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

Original language	English
Title of host publication	Proc. Third International Workshop on Formal Methods for Industrial Critical Systems, Amsterdam, Netherlands, 25-26 May 1998
Editors	J.F. Groote, B. Luttik, J. Wamel, van
Place of Publication	Amsterdam
Publisher	Stichting Mathematisch Centrum
Pages	157-169
ISBN (Print)	90-6196-480-6
Publication status	Published - 1998

Cite this

@inproceedings{71ef8d3b080c488db22ebcd398d9f3f8,

title = "Partial-order reduction techniques for real-time model checking",

author = "D.R. Dams and R.T. Gerth and B.T. Knaack and R. Kuiper",

year = "1998",

language = "English",

isbn = "90-6196-480-6",

pages = "157--169",

editor = "J.F. Groote and B. Luttik and {Wamel, van}, J.",

booktitle = "Proc. Third International Workshop on Formal Methods for Industrial Critical Systems, Amsterdam, Netherlands, 25-26 May 1998",

publisher = "Stichting Mathematisch Centrum",

}

Partial-order reduction techniques for real-time model checking. / Dams, D.R.; Gerth, R.T.; Knaack, B.T. et al.
Proc. Third International Workshop on Formal Methods for Industrial Critical Systems, Amsterdam, Netherlands, 25-26 May 1998. ed. / J.F. Groote; B. Luttik; J. Wamel, van. Amsterdam: Stichting Mathematisch Centrum, 1998. p. 157-169.

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

TY - GEN

T1 - Partial-order reduction techniques for real-time model checking

AU - Dams, D.R.

AU - Gerth, R.T.

AU - Knaack, B.T.

AU - Kuiper, R.

PY - 1998

Y1 - 1998

M3 - Conference contribution

SN - 90-6196-480-6

SP - 157

EP - 169

BT - Proc. Third International Workshop on Formal Methods for Industrial Critical Systems, Amsterdam, Netherlands, 25-26 May 1998

A2 - Groote, J.F.

A2 - Luttik, B.

A2 - Wamel, van, J.

PB - Stichting Mathematisch Centrum

CY - Amsterdam

ER -