Deductive Probabilistic Verification Methods for Embedded and Ubiquitous Computing.

Satoshi Yamane, Takashi Kanatani

Browse the full EUC paper archive.