BibTeX records: Marcel Schuster

download as .bib file

@inproceedings{DBLP:conf/modellierung/SchusterGHGS20,
  author    = {Marcel Schuster and
               Markus Germeier and
               Frank Hilken and
               Martin Gogolla and
               Karsten Sohr},
  title     = {Modeling Low-Level Network Configurations for Analysis, Simulation
               and Testing},
  booktitle = {Modellierung},
  series    = {{LNI}},
  volume    = {{P-302}},
  pages     = {157--172},
  publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
  year      = {2020}
}
@inproceedings{DBLP:conf/models/HilkenSSG16,
  author    = {Frank Hilken and
               Marcel Schuster and
               Karsten Sohr and
               Martin Gogolla},
  title     = {Integrating {UML/OCL} Derived Properties into Validation and Verification
               Processes},
  booktitle = {OCL@MoDELS},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1756},
  pages     = {89--104},
  publisher = {CEUR-WS.org},
  year      = {2016}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics