> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Refinement checking on parametric modal transition systems Beteiligte: Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Sickert, Salomon; Srba, Jiří Erschienen: Springer Science and Business Media LLC, 2015 Erschienen in: Acta Informatica Sprache: Englisch DOI: 10.1007/s00236-015-0215-4 ISSN: 0001-5903; 1432-0525 Schlagwörter: Computer Networks and Communications ; Information Systems ; Software Entstehung: Anmerkungen: