@Misc{posterJOBIM2021-1,
  OPTkey = 	 {},
  author = 	 {Boyenval, D. and Bernot, G. and Comet, J.-P. and
                  Delaunay, F.},
  title = 	 {Logical and incremental formalization of cell cycle
                  checkpoints},
  howpublished = {JOBIM, online (France)},
  month = 	 {6-9 july},
  year = 	 {2021},
  OPTnote = 	 {},
  OPTannote = 	 {}
}