Model checking biological systems described using ambient calculus

Radu Iulian Mardare; Corrado Priami; Paola Qualia; Oleksander Vagin

Model checking biological systems described using ambient calculus

Radu Iulian Mardare, Corrado Priami, Paola Qualia, Oleksander Vagin

Institut for Datalogi

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

14 Citationer (Scopus)

Abstract

Model checking biological systems described using ambient calculus. In Proc. of the second International Workshop on Computational Methods in Systems Biology (CMSB04), Lecture Notes in Bioinformatics 3082:85-103, Springer, 2005.

Originalsprog	Engelsk
Bogserie	Lecture Notes in Bioinformatics
Vol/bind	3082
Sider (fra-til)	85
Antal sider	103
Status	Udgivet - 2005

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@inproceedings{c99c00ea020c443096d711cea0c01ff7,

title = "Model checking biological systems described using ambient calculus",

abstract = "Model checking biological systems described using ambient calculus. In Proc. of the second International Workshop on Computational Methods in Systems Biology (CMSB04), Lecture Notes in Bioinformatics 3082:85-103, Springer, 2005.",

author = "Mardare, {Radu Iulian} and Corrado Priami and Paola Qualia and Oleksander Vagin",

year = "2005",

language = "English",

volume = "3082",

pages = "85",

journal = "Lecture Notes in Bioinformatics",

publisher = "Physica-Verlag",

}

TY - GEN

T1 - Model checking biological systems described using ambient calculus

AU - Mardare, Radu Iulian

AU - Priami, Corrado

AU - Qualia, Paola

AU - Vagin, Oleksander

PY - 2005

Y1 - 2005

N2 - Model checking biological systems described using ambient calculus. In Proc. of the second International Workshop on Computational Methods in Systems Biology (CMSB04), Lecture Notes in Bioinformatics 3082:85-103, Springer, 2005.

AB - Model checking biological systems described using ambient calculus. In Proc. of the second International Workshop on Computational Methods in Systems Biology (CMSB04), Lecture Notes in Bioinformatics 3082:85-103, Springer, 2005.

M3 - Conference article in Journal

VL - 3082

SP - 85

JO - Lecture Notes in Bioinformatics

JF - Lecture Notes in Bioinformatics

ER -

Model checking biological systems described using ambient calculus

Abstract

AUB Link

Fingeraftryk

Citationsformater