Keyphrases
- invited talk
- formal verification
- asynchronous circuits
- knowledge discovery and data mining
- selected papers
- formal methods
- protocol specification
- model checking
- probabilistic inference
- bayesian networks
- high level
- formal specification
- acm sigmod
- specification language
- inference process
- carefully reviewed and selected from submissions
- signature verification
- real world
- case based reasoning
- concurrent systems
- genetic algorithm
- program committee
- information systems
- information technology
- knowledge discovery
- mobile phone