Keyphrases
- lecture notes
- expert systems
- formal methods
- computer science
- website
- asynchronous circuits
- lecture notes in artificial intelligence
- web applications
- international conference
- complex systems
- international symposium
- international workshop
- formal specification
- retrieval systems
- management system
- information technology
- selected papers
- advances in artificial intelligence
- formal verification
- web pages
- reactive systems