@inproceedings{41db2690003c11dab4d5000ea68e967b,
title = "Verification of Hierarchical State/Event Systems using Reusability and Compositionality",
author = "Gerd Behrmann and Larsen, {Kim Guldstrand} and Andersen, {H. R.} and H. Hulgaard and J. Lind-Nielsen",
note = "ISSN ; 0302-9743; Verification of Hierarchical State/Event Systems using Reusability and Compositionality ; Conference date: 19-05-2010",
year = "1999",
language = "English",
isbn = "3540657037",
pages = "163--177",
editor = "{Cleaveland, W. R. (ed.)}",
booktitle = "Tools and Algorithms for the Construction and Analysis of Systems : 5th International Conference, TACAS '99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999",
publisher = "IEEE Computer Society Press",
address = "United States",
edition = "1579",
}