Self-Verifying CSFQ.

Ion Stoica Hui Zhang Scott Shenker

Published in: INFOCOM (2002)

Keyphrases

model checking
machine learning
information systems
verification method
open source
knowledge management
relational databases
business processes
object oriented
business process
software architecture