Symbolic model-checking for biochemical systems

François Fages

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

Symbolic model-checking for biochemical systems

François Fages

INRIA Rocquencourt

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

langue originale	Anglais
titre	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
rédacteurs en chef	Catuscia Palamidessi
Editeur	Springer Verlag
Pages	102
Nombre de pages	1
ISBN (imprimé)	3540206426, 9783540245995
Les DOIs	https://doi.org/10.1007/978-3-540-24599-5_7
état	Publié - 1 janv. 2003
Modification externe	Oui
Evénement	19th International Conference on Logic Programming, ICLP 2003 - Mumbai, Inde Durée: 9 déc. 2003 → 13 déc. 2003

Série de publications

Nom	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2916
ISSN (imprimé)	0302-9743
ISSN (Electronique)	1611-3349

Une conférence

Une conférence	19th International Conference on Logic Programming, ICLP 2003
Pays/Territoire	Inde
La ville	Mumbai
période	9/12/03 → 13/12/03

Accès au document

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

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

Fages, F. (2003). Symbolic model-checking for biochemical systems. Dans C. Palamidessi (Ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (p. 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). Editeur / Catuscia Palamidessi. Springer Verlag, 2003. p. 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. Dans 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, p. 102, 19th International Conference on Logic Programming, ICLP 2003, Mumbai, Inde, 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).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

TY - GEN

T1 - Symbolic model-checking for biochemical systems

AU - Fages, François

PY - 2003/1/1

Y1 - 2003/1/1

UR - https://www.scopus.com/pages/publications/0348155926

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. Dans Palamidessi C, Editeur, 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