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.
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
{"_id":"Gdf7kFQQTvy3cFWyZ","bibbaseid":"banks-seaton-stark-analysisofaposttranslationaloscillatorusingprocessalgebraandspatiotemporallogic-2015","authorIDs":[],"author_short":["Banks, C. J.","Seaton, D. D.","Stark, I."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2017-05-24T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Banks"],"firstnames":["Chris","J."],"suffixes":[]},{"propositions":[],"lastnames":["Seaton"],"firstnames":["Daniel","D."],"suffixes":[]},{"propositions":[],"lastnames":["Stark"],"firstnames":["Ian"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/26249fc10ceee92cd0f5ad113655f3139/dblp","booktitle":"CMSB","crossref":"conf/cmsb/2015","editor":[{"propositions":[],"lastnames":["Roux"],"firstnames":["Olivier","F."],"suffixes":[]},{"propositions":[],"lastnames":["Bourdon"],"firstnames":["Jérémie"],"suffixes":[]}],"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","bibtex":"@inproceedings{conf/cmsb/BanksSS15,\n added-at = {2017-05-24T00:00:00.000+0200},\n author = {Banks, Chris J. and Seaton, Daniel D. and Stark, Ian},\n biburl = {https://www.bibsonomy.org/bibtex/26249fc10ceee92cd0f5ad113655f3139/dblp},\n booktitle = {CMSB},\n crossref = {conf/cmsb/2015},\n editor = {Roux, Olivier F. and Bourdon, Jérémie},\n ee = {https://doi.org/10.1007/978-3-319-23401-4_19},\n interhash = {5837934943575ba10aefd30922c4d348},\n intrahash = {6249fc10ceee92cd0f5ad113655f3139},\n isbn = {978-3-319-23400-7},\n keywords = {dblp},\n pages = {222-238},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T13:44:00.000+0200},\n title = {Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-Temporal Logic.},\n url = {http://dblp.uni-trier.de/db/conf/cmsb/cmsb2015.html#BanksSS15},\n volume = 9308,\n year = 2015\n}\n\n","author_short":["Banks, C. J.","Seaton, D. D.","Stark, I."],"editor_short":["Roux, O. F.","Bourdon, J."],"key":"conf/cmsb/BanksSS15","id":"conf/cmsb/BanksSS15","bibbaseid":"banks-seaton-stark-analysisofaposttranslationaloscillatorusingprocessalgebraandspatiotemporallogic-2015","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-319-23401-4_19","Paper":"http://dblp.uni-trier.de/db/conf/cmsb/cmsb2015.html#BanksSS15"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/banks?items=1000","creationDate":"2020-11-09T04:30:05.274Z","downloads":0,"keywords":["dblp"],"search_terms":["analysis","post","translational","oscillator","using","process","algebra","spatio","temporal","logic","banks","seaton","stark"],"title":"Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-Temporal Logic.","year":2015,"dataSources":["4mnhe87Gt4h7SC73t"]}