Denotational semantics for probabilistic refusal testing
Journal:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Year of publication: 1999
Volume: 22
Pages: 111-137
Type: Conference paper