MCK: Model Checking the Logic of Knowledge
Artikel i vetenskaplig tidskrift, 2004
Model Checking
Logic of Knowledge
Författare
Peter Gammie
Chalmers, Institutionen för datavetenskap
Ron van der Meyden
Publicerad i
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 3114 s. 479-483Kategorisering
Ämneskategorier (SSIF 2011)
Data- och informationsvetenskap
Identifikatorer
DOI
10.1007/978-3-540-27813-9_41