Model Checking Biological Oscillators
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei.
In the proceedings of the 2th From Biology To Concurrency International Workshop (FBTC'08), Reykjavik, Island, July, 2008. pp. 41-58. Electronic Notes in Theoretical Computer Science vol. 229 no. 1. 2009.

Categories: Computational Systems Biology, Simulation 
@INPROCEEDINGS{BCMT08,
  title = {{Model Checking Biological Oscillators}},
  author = {Bartocci, Ezio and Corradini, Flavio and Merelli, Emanuela and Tesei, Luca},
  booktitle = {In the proceedings of the 2th From Biology To Concurrency International Workshop (FBTC'08), Reykjavik, Island, July, 2008},
  pages = {41-58},
  series = {Electronic Notes in Theoretical Computer Science},
  volume = {229},
  number = {1},
  year = {2009},
}