> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: AdamMC : a model checker for petri nets with transits against flow-LTL (Full Version) Beteiligte: Finkbeiner, Bernd [Verfasser:in]; Gieseking, Manuel [Verfasser:in]; Hecking-Harbusch, Jesko [Verfasser:in]; Olderog, Ernst-Rüdiger [Verfasser:in] Erschienen: 2020 Erschienen in: Arxiv ; 2020 (15. Mai), Seiten 1-22 Sprache: Englisch Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang