Symbolic model-checking for biochemical systems

François Fages

doi:10.1007/978-3-540-24599-5_7

Symbolic model-checking for biochemical systems

INRIA Rocquencourt

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

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Editors	Catuscia Palamidessi
Publisher	Springer Verlag
Pages	102
Number of pages	1
ISBN (Print)	3540206426, 9783540245995
DOIs	https://doi.org/10.1007/978-3-540-24599-5_7
Publication status	Published - 1 Jan 2003
Externally published	Yes
Event	19th International Conference on Logic Programming, ICLP 2003 - Mumbai, India Duration: 9 Dec 2003 → 13 Dec 2003

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2916
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	19th International Conference on Logic Programming, ICLP 2003
Country/Territory	India
City	Mumbai
Period	9/12/03 → 13/12/03

Access to Document

10.1007/978-3-540-24599-5_7

Cite this

Fages, F. (2003). Symbolic model-checking for biochemical systems. In C. Palamidessi (Ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 102). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2916). Springer Verlag. https://doi.org/10.1007/978-3-540-24599-5_7

Fages, François. / Symbolic model-checking for biochemical systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). editor / Catuscia Palamidessi. Springer Verlag, 2003. pp. 102 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{c02f646b2c334db69a8032a9fb64a4ea,

title = "Symbolic model-checking for biochemical systems",

author = "Fran{\c c}ois Fages",

year = "2003",

month = jan,

day = "1",

doi = "10.1007/978-3-540-24599-5\_7",

language = "English",

isbn = "3540206426",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "102",

editor = "Catuscia Palamidessi",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

note = "19th International Conference on Logic Programming, ICLP 2003 ; Conference date: 09-12-2003 Through 13-12-2003",

}

Fages, F 2003, Symbolic model-checking for biochemical systems. in C Palamidessi (ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2916, Springer Verlag, pp. 102, 19th International Conference on Logic Programming, ICLP 2003, Mumbai, India, 9/12/03. https://doi.org/10.1007/978-3-540-24599-5_7

Symbolic model-checking for biochemical systems. / Fages, François.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ed. / Catuscia Palamidessi. Springer Verlag, 2003. p. 102 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2916).

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

TY - GEN

T1 - Symbolic model-checking for biochemical systems

AU - Fages, François

PY - 2003/1/1

Y1 - 2003/1/1

U2 - 10.1007/978-3-540-24599-5_7

DO - 10.1007/978-3-540-24599-5_7

M3 - Conference contribution

AN - SCOPUS:0348155926

SN - 3540206426

SN - 9783540245995

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 102

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A2 - Palamidessi, Catuscia

PB - Springer Verlag

T2 - 19th International Conference on Logic Programming, ICLP 2003

Y2 - 9 December 2003 through 13 December 2003

ER -

Fages F. Symbolic model-checking for biochemical systems. In Palamidessi C, editor, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2003. p. 102. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-24599-5_7