Login / Signup
Distributed Symbolic Bounded Property Checking.
Pradeep Kumar Nalla
Roland J. Weiss
Prakash Mohan Peranandam
Jürgen Ruf
Thomas Kropf
Wolfgang Rosenstiel
Published in:
Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
</>
cooperative
distributed systems
desirable properties
fault tolerant
computing environments
case study
peer to peer
distributed environment
computer networks
mobile agents
search algorithm
agent technology
distributed computing
distributed data
symbolic representation
distributed learning
neural learning