Belief, Probabilities, Updates, and Model Checking

Additional Metadata
THEME	Other (theme 6)
Conference	Workshop on The Logical Dynamics of Information, Agency and Interaction
Organisation	Software Analysis and Transformation
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	van Eijck, J. (2014). Belief, Probabilities, Updates, and Model Checking.

Publication