ESBMC 1.22 - (Competition Contribution).

Jeremy Morse Mikhail Ramalho Lucas C. Cordeiro Denis A. Nicole Bernd Fischer

Published in: TACAS (2014)

Keyphrases

social networks
digital libraries
databases
real time
website
bayesian networks
cooperative
information technology
long term
special case