% This file was created by ZeTeM Website
 
% Paulina Maurer













@CONFERENCE{Chrszon2024_870df,
  author = {Philipp Chrszon and Paulina Maurer and George Saleip and Sascha Müller and Philipp M. Fischer and Andreas Gerndt and Michael Felderer},
  title = {Applicability of Model Checking for Verifying Spacecraft Operational Designs},
  booktitle = {Modellierung 24, 12.03.-15.03.2024, Potsdam, Deutschland},
  pages = {P-348, pp. 99-101},
  year = {2024}
}


@CONFERENCE{Chrszon2023_870df,
  author = {Philipp Chrszon and Paulina Maurer and George Saleip and Sascha Müller and Philipp M. Fischer and Andreas Gerndt and Michael Felderer},
  title = {Applicability of Model Checking for Verifying Spacecraft Operational Designs},
  booktitle = {26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2023), 01.-06.10.2023, Västerås, Schweden},
  year = {2023},
  doi = {10.1109/MODELS58315.2023.00011}
}