Executable Biochemical Space for Specification and Analysis of Biochemical Systems

Matej Troják, David Safránek, Lubos Brim, Jakub Salagovic, Jan Cervený. Executable Biochemical Space for Specification and Analysis of Biochemical Systems. In Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018. Volume 350 of Electronic Notes in Theoretical Computer Science, pages 91-116, Elsevier, 2020. [doi]

Authors

Matej Troják

This author has not been identified. Look up 'Matej Troják' in Google

David Safránek

This author has not been identified. Look up 'David Safránek' in Google

Lubos Brim

This author has not been identified. Look up 'Lubos Brim' in Google

Jakub Salagovic

This author has not been identified. Look up 'Jakub Salagovic' in Google

Jan Cervený

This author has not been identified. Look up 'Jan Cervený' in Google