Temporal Logic Based Synthesis of Experimentally Constrained Interaction Networks

Judah Goldfeder, Hillel Kugler. Temporal Logic Based Synthesis of Experimentally Constrained Interaction Networks. In Madalena Chaves, Manuel A. Martins, editors, Molecular Logic and Computational Synthetic Biology - First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers. Volume 11415 of Lecture Notes in Computer Science, pages 89-104, Springer, 2018. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.