Preface: Proceedings of INFINITY 2003, the 5th International Workshop on Verification of Infinite-State Systems, a satellite workshop of CONCUR 2003.
Philippe SchnoebelenPublished in: INFINITY (2003)
Keyphrases
- international workshop
- lecture notes in artificial intelligence
- expert systems
- international conference
- acm sigkdd
- selected papers
- revised selected papers
- management system
- remote sensing
- learning systems
- formal methods
- workshop on artificial intelligence
- complex systems
- knowledge discovery and data mining
- international symposium
- knowledge based systems
- advances in artificial intelligence
- formal verification
- conference on artificial intelligence
- intelligent systems
- conference proceedings
- distributed systems
- naacl hlt