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]

Authors

Judah Goldfeder

This author has not been identified. Look up 'Judah Goldfeder' in Google

Hillel Kugler

This author has not been identified. Look up 'Hillel Kugler' in Google