Verification of Large State/Event Systems using Compositionality and Dependency Analysis

J. Lind-Nielsen, H. R. Andersen, H. Hulgaard, Gerd Behrmann, K. J. Kristoffersen, Kim Guldstrand Larsen

Research output: Contribution to journal › Journal article › Research › peer-review

Original language	English
Journal	Formal Methods in System Design
Volume	18
Issue number	1
Pages (from-to)	5-23
ISSN	0925-9856
Publication status	Published - 2001

AUB Link

@article{5d34bf00809211db8b97000ea68e967b,

title = "Verification of Large State/Event Systems using Compositionality and Dependency Analysis",

author = "J. Lind-Nielsen and Andersen, {H. R.} and H. Hulgaard and Gerd Behrmann and Kristoffersen, {K. J.} and Larsen, {Kim Guldstrand}",

year = "2001",

language = "English",

volume = "18",

pages = "5--23",

journal = "Formal Methods in System Design",

issn = "0925-9856",

publisher = "Springer",

number = "1",

}

TY - JOUR

T1 - Verification of Large State/Event Systems using Compositionality and Dependency Analysis

AU - Lind-Nielsen, J.

AU - Andersen, H. R.

AU - Hulgaard, H.

AU - Behrmann, Gerd

AU - Kristoffersen, K. J.

AU - Larsen, Kim Guldstrand

PY - 2001

Y1 - 2001

M3 - Journal article

SN - 0925-9856

VL - 18

SP - 5

EP - 23

JO - Formal Methods in System Design

JF - Formal Methods in System Design

IS - 1

ER -