BCIT Citations Collection

Description

Collection of published works from BCIT researchers, faculty, and instructors.

Member of

BCIT Scholarly Community

Displaying 1 - 4 of 4

Results per page

Displaying 1 - 4 of 4

An action description language for iterated belief change

repository_659-Thumbnail Image.png

An explicit model of belief change for cryptographic protocol verification

repository_658-Thumbnail Image.png

Belief change and cryptographic protocol verification

repository_657-Thumbnail Image.png

Belief change in the context of fallible actions and observations

repository_660-Thumbnail Image.png