Verification of Hierarchical State/Event Systems using
                Reusability and Compositionality

Gerd Berhmann; Kim G. Larsen; Henrik Reif Andersen; Henrik Hulgaard; Jørn Lind-Nielsen

Verification of Hierarchical State/Event Systems using Reusability and Compositionality

Gerd Berhmann, Kim G. Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems (LNCS 1579)
Publisher	Springer Verlag
Publication date	1999
Publication status	Published - 1999
Event	Fifth International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS - Amsterdam Duration: 1 Jan 1999 → …

Conference

Conference	Fifth International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
City	Amsterdam
Period	01/01/1999 → …

SFX availability

Full text

Cite this

@inproceedings{c5d02b60be1a4f29bbdd59b97c4c8c32,

title = "Verification of Hierarchical State/Event Systems using Reusability and Compositionality",

author = "Gerd Berhmann and Larsen, {Kim G.} and Andersen, {Henrik Reif} and Henrik Hulgaard and J{\o}rn Lind-Nielsen",

year = "1999",

language = "English",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems (LNCS 1579)",

publisher = "Springer Verlag",

address = "Germany",

note = "Fifth International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS ; Conference date: 01-01-1999",

}

Berhmann, G, Larsen, KG, Andersen, HR, Hulgaard, H & Lind-Nielsen, J 1999, Verification of Hierarchical State/Event Systems using Reusability and Compositionality. in Tools and Algorithms for the Construction and Analysis of Systems (LNCS 1579). Springer Verlag, Fifth International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, Amsterdam, 01/01/1999.

Verification of Hierarchical State/Event Systems using Reusability and Compositionality. / Berhmann, Gerd; Larsen, Kim G.; Andersen, Henrik Reif; Hulgaard, Henrik; Lind-Nielsen, Jørn.

Tools and Algorithms for the Construction and Analysis of Systems (LNCS 1579). Springer Verlag, 1999.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Verification of Hierarchical State/Event Systems using Reusability and Compositionality

AU - Berhmann, Gerd

AU - Larsen, Kim G.

AU - Andersen, Henrik Reif

AU - Hulgaard, Henrik

AU - Lind-Nielsen, Jørn

PY - 1999

Y1 - 1999

M3 - Article in proceedings

BT - Tools and Algorithms for the Construction and Analysis of Systems (LNCS 1579)

PB - Springer Verlag

T2 - Fifth International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS

Y2 - 1 January 1999

ER -