Denotational semantics for probabilistic refusal testing
Revista:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Any de publicació: 1999
Volum: 22
Pàgines: 111-137
Tipus: Aportació congrés