Algortihmic algebraic model checking I: The case of biochemical systems and their reachability analysis

Bhubaneswar Mishra, Carla Piazza, Marco Antoniotti, V. Mysore, Alberto Policriti, Franz Winkler

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	17th international conference on computer aided verification (CAV '05), Edinburgh, Scotland
State	Published - 2005

Cite this

@inproceedings{b6e9894c0d5a4e37a3a811d9e37baf69,

title = "Algortihmic algebraic model checking I: The case of biochemical systems and their reachability analysis",

author = "Bhubaneswar Mishra and Carla Piazza and Marco Antoniotti and V. Mysore and Alberto Policriti and Franz Winkler",

year = "2005",

language = "English (US)",

booktitle = "17th international conference on computer aided verification (CAV '05), Edinburgh, Scotland",

}

TY - GEN

T1 - Algortihmic algebraic model checking I

T2 - The case of biochemical systems and their reachability analysis

AU - Mishra, Bhubaneswar

AU - Piazza, Carla

AU - Antoniotti, Marco

AU - Mysore, V.

AU - Policriti, Alberto

AU - Winkler, Franz

PY - 2005

Y1 - 2005

M3 - Conference contribution

BT - 17th international conference on computer aided verification (CAV '05), Edinburgh, Scotland

ER -