> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Developing a bridge from GPenSIM to NuSMV for model checking Beteiligte: Roci, Albana [Verfasser:in]; Davidrajuh, Reggie [Verfasser:in] Erschienen: 2021 Erschienen in: European Modeling & Simulation Symposium (33. : 2021 : Online): Proceedings of the 33rd European Modeling & Simulation Symposium (EMSS 2021) ; (2021), Seite 320-326 Sprache: Englisch DOI: 10.46354/i3m.2021.emss.044 Identifikator: Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang Rechte-/Nutzungshinweise: Namensnennung - Nicht-kommerziell - Keine Bearbeitung (CC BY-NC-ND)