> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Model checking epistemic–probabilistic logic using probabilistic interpreted systems Beteiligte: Wan, Wei; Bentahar, Jamal; Ben Hamza, Abdessamad Erschienen: Elsevier BV, 2013 Erschienen in: Knowledge-Based Systems Sprache: Englisch DOI: 10.1016/j.knosys.2013.06.017 ISSN: 0950-7051 Entstehung: Anmerkungen: