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

J. Lind-Nielsen, H.R. Andersen, H. Hulgaard, K.G. Larsen

Research output: Contribution to journal › Article › Academic

Original language	Undefined
Pages (from-to)	5-23
Journal	Formal methods in system design
Volume	18
Issue number	1
Publication status	Published - 2001

Keywords

@article{0bcc106e6af64399970770d126828fa7,

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

keywords = "METIS-204898",

author = "J. Lind-Nielsen and H.R. Andersen and H. Hulgaard and K.G. Larsen",

year = "2001",

language = "Undefined",

volume = "18",

pages = "5--23",

journal = "Formal methods in system design",

issn = "0925-9856",

publisher = "Springer",

number = "1",

}