Runtime Verification of Biological Systems

David, A., Larsen, K. G., Legay, A., Mikučionis, M., Poulsen, D. B., & Sedwards, S. (2012). Runtime Verification of Biological Systems. Lecture notes in computer science, 388–404. https://doi.org/10.1007/978-3-642-34026-0_29

David, Alexandre, et al. “Runtime Verification of Biological Systems.” Lecture notes in computer science, 2012, pp. 388–404, https://doi.org/10.1007/978-3-642-34026-0_29.

David, Alexandre, Kim G. Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen, and Sean Sedwards. 2012. “Runtime Verification of Biological Systems.” Lecture notes in computer science: 388–404. https://doi.org/10.1007/978-3-642-34026-0_29.

David, A. et al. (2012) ‘Runtime Verification of Biological Systems’, Lecture notes in computer science, pp. 388–404. Available at: https://doi.org/10.1007/978-3-642-34026-0_29.

@incollection{david2012runtime,
  title = {{Runtime Verification of Biological Systems}},
  author = {David, Alexandre and Larsen, Kim G. and Legay, Axel and Mikučionis, Marius and Poulsen, Danny Bøgsted and Sedwards, Sean},
  booktitle = {Lecture notes in computer science},
  pages = {388--404},
  year = {2012},
  doi = {10.1007/978-3-642-34026-0_29}
}