@InProceedings{ciocchetta_et_al:DagSemProc.09091.5,
author = {Ciocchetta, Federica and Degasperi, Andrea and Heath, John and Hillston, Jane},
title = {{Modelling and analysis of the NF-\$kappa\$B pathway in Bio-PEPA}},
booktitle = {Formal Methods in Molecular Biology},
pages = {1--18},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2009},
volume = {9091},
editor = {Rainer Breitling and David Roger Gilbert and Monika Heiner and Corrado Priami},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09091.5},
URN = {urn:nbn:de:0030-drops-19911},
doi = {10.4230/DagSemProc.09091.5},
annote = {Keywords: Process algebras, NF-\$kappa\$B pathway, modelling, analysis}
}