BondavalliNSM01'

BibTeX

@article{DBLP:journals/csse/BondavalliNSM01,
  author    = {Andrea Bondavalli and
               Manuela Nelli and
               Luca Simoncini and
               Giorgio Mongardi},
  title     = {Hierarchical modelling of complex control systems: dependability
               analysis of a railway interlocking},
  journal   = {Comput. Syst. Sci. Eng.},
  volume    = {16},
  number    = {4},
  year      = {2001},
  pages     = {249-261},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}