Input-Output Model Programs.

Margus Veanes Nikolaj Bjørner

Published in: ICTAC (2009)

Keyphrases

input output
probabilistic model
probability distribution
management system
resource allocation