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

Algorithmic algebraic model checking III : Approximate methods. / Mishra, Bhubaneswar; Mysore, V.

7th international workshop on verification on infinite-state systems, INFINITY '05, San Francisco, California, August 27, 2005. 2005.

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

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.
Mishra B, Mysore V. 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. 2005
Mishra, Bhubaneswar ; Mysore, V. / Algorithmic algebraic model checking III : Approximate methods. 7th international workshop on verification on infinite-state systems, INFINITY '05, San Francisco, California, August 27, 2005. 2005.
@inproceedings{071961316ca844c1a719cf112247f1a9,
title = "Algorithmic algebraic model checking III: Approximate methods",
author = "Bhubaneswar Mishra and V. Mysore",
year = "2005",
language = "English (US)",
booktitle = "7th international workshop on verification on infinite-state systems, INFINITY '05, San Francisco, California, August 27, 2005",

}

TY - GEN

T1 - Algorithmic algebraic model checking III

T2 - Approximate methods

AU - Mishra, Bhubaneswar

AU - Mysore, V.

PY - 2005

Y1 - 2005

M3 - Conference contribution

BT - 7th international workshop on verification on infinite-state systems, INFINITY '05, San Francisco, California, August 27, 2005

ER -