@Inproceedings{EPTCS100.5,
  author    = {Dr\'abik, Peter and Maggiolo-Schettini, Andrea and Milazzo, Paolo},
  year      = {2012},
  title     = {Towards modular verification of pathways: fairness and assumptions},
  editor    = {Ciobanu, Gabriel},
  booktitle = {{\rm Proceedings  6th Workshop on}
               Membrane Computing and Biologically Inspired Process Calculi,
               {\rm Newcastle, UK, 8th September 2012}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {100},
  publisher = {Open Publishing Association},
  pages     = {63-81},
  doi       = {10.4204/EPTCS.100.5},
}