@inproceedings{cc33cd909c2d11db8ed6000ea68e967b,
title = "Verification of large state/event systems using compositionality and dependency analysis",
author = "J{\o}rn Lind-Nielsen and Andersen, {Henrik Reif} and Gerd Behrmann and Henrik Hulgaard and K{\aa}re Kristoffersen and Larsen, {Kim Guldstrand}",
year = "1998",
doi = "10.1007/BFb0054173",
language = "English",
isbn = "978-3-540-64356-2",
series = "Lecture Notes in Computer Science",
publisher = "IEEE Computer Society Press",
pages = "201--216",
editor = "Bernhard Steffen",
booktitle = "Tools and Algorithms for the Construction and Analysis of Systems : Proc. of the 4th International Conference, TACAS'98 held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'98, 28 March-4 April 1998, Lisbon, Portugal",
address = "United States",
}