@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}
}