> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Counterexample classification Beteiligte: Vick, Cole; Kang, Eunsuk; Tripakis, Stavros Erschienen: Springer Science and Business Media LLC, 2024 Erschienen in: Software and Systems Modeling, 23 (2024) 2, Seite 455-472 Sprache: Englisch DOI: 10.1007/s10270-023-01118-0 ISSN: 1619-1374; 1619-1366 Entstehung: Anmerkungen: