Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-Temporal Logic. Banks, C. J., Seaton, D. D., & Stark, I. In Roux, O. F. & Bourdon, J., editors, CMSB, volume 9308, of Lecture Notes in Computer Science, pages 222-238, 2015. Springer.
Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-Temporal Logic. [link]Link  Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-Temporal Logic. [link]Paper  bibtex   
@inproceedings{conf/cmsb/BanksSS15,
  added-at = {2017-05-24T00:00:00.000+0200},
  author = {Banks, Chris J. and Seaton, Daniel D. and Stark, Ian},
  biburl = {https://www.bibsonomy.org/bibtex/26249fc10ceee92cd0f5ad113655f3139/dblp},
  booktitle = {CMSB},
  crossref = {conf/cmsb/2015},
  editor = {Roux, Olivier F. and Bourdon, Jérémie},
  ee = {https://doi.org/10.1007/978-3-319-23401-4_19},
  interhash = {5837934943575ba10aefd30922c4d348},
  intrahash = {6249fc10ceee92cd0f5ad113655f3139},
  isbn = {978-3-319-23400-7},
  keywords = {dblp},
  pages = {222-238},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-05-15T13:44:00.000+0200},
  title = {Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-Temporal Logic.},
  url = {http://dblp.uni-trier.de/db/conf/cmsb/cmsb2015.html#BanksSS15},
  volume = 9308,
  year = 2015
}

Downloads: 0