Original language | English |
---|---|
Title of host publication | Proc. 7th Int. Workshop on Verification of Infinite-State Systems (INFINITY'05), San Francisco, CA,USA |
Number of pages | 12 |
Publication status | Published - Aug 2005 |
Fields of science
- 102 Computer Sciences
- 102001 Artificial intelligence
- 102011 Formal languages
- 102022 Software development
- 102031 Theoretical computer science
- 603109 Logic
- 202006 Computer hardware