@Inproceedings{
lah-1998-vlss,
  title = {{Verification of Large State/Event Systems using Compositionality
           and Dependency Analysis}},
  author = {J\o{}rn Lind-Nielsen and Henrik~Reif~Andersen and Gerd~Behrmann
            and Henrik~Hulgaard and K\aa{}re~Kristoffersen and Kim~G.~Larsen},
  booktitle = {{TACAS'98 Tools and Algorithms for the Construction and
               Analysis of Systems}},
  publisher = {Lecture Notes in Computer Science},
  year = {1998}
}