Media type: E-Article Title: Developing a bridge from GPenSIM to NuSMV for model checking Contributor: Roci, Albana [Author]; Davidrajuh, Reggie [Author] Published: 2021 Published in: European Modeling & Simulation Symposium (33. : 2021 : Online): Proceedings of the 33rd European Modeling & Simulation Symposium (EMSS 2021) ; (2021), Seite 320-326 Language: English DOI: 10.46354/i3m.2021.emss.044 Identifier: Origination: Footnote: Access State: Open Access Rights information: Attribution - Non Commercial - No Derivs (CC BY-NC-ND)