Executable Biochemical Space for Specification and Analysis of Biochemical Systems
Authors: Matej Troják, Jakub Šalagovič, David Šafránek, Jan Červený, Luboš Brim and Matej Hajnal
Paper Information
| Title: | Executable Biochemical Space for Specification and Analysis of Biochemical Systems |
| Authors: | Matej Troják, Jakub Šalagovič, David Šafránek, Jan Červený, Luboš Brim and Matej Hajnal |
| Proceedings: | VEMDP Camera-ready abstracts |
| Editors: | Nicola Paoletti and Frits Dannenberg |
| Keywords: | rule-based language, formal specification, annotation |
| Abstract: | ABSTRACT. |
| Pages: | 3 |
| Talk: | Jul 19 17:00 (Session 136F) |
| Paper: |  |