Verifying Component and Connector Models against Crosscutting Structural Views

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe. Verifying Component and Connector Models against Crosscutting Structural Views. In Uwe Aßmann, Birgit Demuth, Thorsten Spitta, Georg Püschel, Ronny Kaiser, editors, Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015, Dresden, Germany. Volume 239 of LNI, pages 110-111, GI, 2015.

@inproceedings{MaozRR15,
  title = {Verifying Component and Connector Models against Crosscutting Structural Views},
  author = {Shahar Maoz and Jan Oliver Ringert and Bernhard Rumpe},
  year = {2015},
  researchr = {https://researchr.org/publication/MaozRR15},
  cites = {0},
  citedby = {0},
  pages = {110-111},
  booktitle = {Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015, Dresden, Germany},
  editor = {Uwe Aßmann and Birgit Demuth and Thorsten Spitta and Georg Püschel and Ronny Kaiser},
  volume = {239},
  series = {LNI},
  publisher = {GI},
  isbn = {978-3-88579-633-6},
}