by
Reference:
Compositional design and verification of component-based information systems (), PhD thesis, Technische Universiteit Eindhoven, 2011.
Bibtex Entry:
@PHDTHESIS{werf2011,
  AUTHOR =       {Werf, {J.M.E.M. van der}},
  TITLE =        {Compositional design and verification of component-based information systems},
  SCHOOL =       {Technische Universiteit Eindhoven},
  YEAR =         {2011},
  note =         {(Co-)promot.: prof.dr. K.M. van Hee, Prof. Dr. W. Reisig, prof.dr. W.J. Scheper & dr. N. Sidorova}
}

Compositional design and verification of component-based information systems