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 proceedingConference contribution

Original languageEnglish (US)
Title of host publication17th international conference on computer aided verification (CAV '05), Edinburgh, Scotland
StatePublished - 2005

Cite this

Mishra, B., Piazza, C., Antoniotti, M., Mysore, V., Policriti, A., & Winkler, F. (2005). Algortihmic algebraic model checking I: The case of biochemical systems and their reachability analysis. In 17th international conference on computer aided verification (CAV '05), Edinburgh, Scotland

Algortihmic algebraic model checking I : The case of biochemical systems and their reachability analysis. / Mishra, Bhubaneswar; Piazza, Carla; Antoniotti, Marco; Mysore, V.; Policriti, Alberto; Winkler, Franz.

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

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

Mishra, B, Piazza, C, Antoniotti, M, Mysore, V, Policriti, A & Winkler, F 2005, Algortihmic algebraic model checking I: The case of biochemical systems and their reachability analysis. in 17th international conference on computer aided verification (CAV '05), Edinburgh, Scotland.
Mishra B, Piazza C, Antoniotti M, Mysore V, Policriti A, Winkler F. Algortihmic algebraic model checking I: The case of biochemical systems and their reachability analysis. In 17th international conference on computer aided verification (CAV '05), Edinburgh, Scotland. 2005
Mishra, Bhubaneswar ; Piazza, Carla ; Antoniotti, Marco ; Mysore, V. ; Policriti, Alberto ; Winkler, Franz. / Algortihmic algebraic model checking I : The case of biochemical systems and their reachability analysis. 17th international conference on computer aided verification (CAV '05), Edinburgh, Scotland. 2005.
@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 -