@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",
}