%0 Conference Paper %1 conf/sasb/TrojakSBSC20 %A Troják, Matej %A Safránek, David %A Brim, Lubos %A Salagovic, Jakub %A Cervený, Jan %B SASB %D 2020 %E Gupta, Ankit %E Petrov, Tatjana %I Elsevier %K dblp %P 91-116 %T Executable Biochemical Space for Specification and Analysis of Biochemical Systems. %U http://dblp.uni-trier.de/db/conf/sasb/sasb2018.html#TrojakSBSC20 %V 350

@inproceedings{conf/sasb/TrojakSBSC20, added-at = {2022-10-02T00:00:00.000+0200}, author = {Troják, Matej and Safránek, David and Brim, Lubos and Salagovic, Jakub and Cervený, Jan}, biburl = {https://www.bibsonomy.org/bibtex/22ef720afb761c9a856149437efd241ef/dblp}, booktitle = {SASB}, crossref = {conf/sasb/2018}, editor = {Gupta, Ankit and Petrov, Tatjana}, ee = {https://www.wikidata.org/entity/Q113317324}, interhash = {87f9d85d5385b82b86cc98fe314a5862}, intrahash = {2ef720afb761c9a856149437efd241ef}, keywords = {dblp}, pages = {91-116}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T18:47:38.000+0200}, title = {Executable Biochemical Space for Specification and Analysis of Biochemical Systems.}, url = {http://dblp.uni-trier.de/db/conf/sasb/sasb2018.html#TrojakSBSC20}, volume = 350, year = 2020 }