> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Automated Technology for Verification and Analysis: Model Checking Data Flows in Concurrent Network Updates Beteiligte: Finkbeiner, Bernd; Gieseking, Manuel; Hecking-Harbusch, Jesko; Olderog, Ernst-Rüdiger Erschienen: Springer International Publishing, 2019 Erschienen in: Automated Technology for Verification and Analysis (2019), Seite 515-533 Sprache: Nicht zu entscheiden DOI: 10.1007/978-3-030-31784-3_30 ISBN: 9783030317836; 9783030317843 ISSN: 0302-9743; 1611-3349 Entstehung: Anmerkungen: