BCIT Citations Collection

Description

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

Member of

BCIT Scholarly Community

Displaying 1 - 3 of 3

Results per page

Displaying 1 - 3 of 3

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