| Original language | English (US) |
|---|---|
| Title of host publication | 7th international workshop on verification on infinite-state systems, INFINITY '05, San Francisco, California, August 27, 2005 |
| State | Published - 2005 |
Algorithmic algebraic model checking III: Approximate methods
Bhubaneswar Mishra, V. Mysore
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution