Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data

Woodhouse, S.; Piterman, N.; Koskal, A.S.; Fisher, J.

Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data (bibtex)

@string{springer="© Springer-Verlag"}
@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@InProceedings{WPKF15,
  author =       {S. Woodhouse and N. Piterman and A.S. Koskal and J. Fisher},
  title = 	 {Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data},
  booktitle = {27th International Conference on Computer Aided Verification},
  OPTpages = 	 {},
  year = 	 {2015},
  publisher = springer,
  series = lncs,
  volume = 	 {9206},
  OPTpdf = 	 {},
  OPTurl = 	 {},
  keywords = {Executable Biology,Synthesis},
}