Algorithmic algebraic model checking III: Approximate methods

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publication7th international workshop on verification on infinite-state systems, INFINITY '05, San Francisco, California, August 27, 2005
StatePublished - 2005

Cite this

Mishra, B., & Mysore, V. (2005). Algorithmic algebraic model checking III: Approximate methods. In 7th international workshop on verification on infinite-state systems, INFINITY '05, San Francisco, California, August 27, 2005