http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Tropical Abstraction of Biochemical Reaction Networks with Guarantees
Beica, Andreea; Feret, Jérôme; Petrov, Tatjana Elsevier Science B. V., Amsterdam 2020 p.3-32
Proving the Absence of Unbounded Polymers in Rule-based Models
Boutillier, Pierre; Faure de Pebeyre, Aurélie; Feret, Jérôme Elsevier Science B. V., Amsterdam 2020 p.33-56
Toward Model Selection by Formal Methods
Hajnal, Matej; Pastva, Samuel Elsevier Science B. V., Amsterdam 2020 p.57-71
Kaltenbach, Hans-Michael Elsevier Science B. V., Amsterdam 2020 p.73-90
Executable Biochemical Space for Specification and Analysis of Biochemical Systems
Troják, Matej; Šafránek, David; Brim, Luboš; Šalagovič, Jakub; Červený, Jan Elsevier Science B. V., Amsterdam 2020 p.91-116
Modelling Patterns of Gene Regulation in the bond-calculus
Wright, Thomas; Stark, Ian Elsevier Science B. V., Amsterdam 2020 p.117-138
Static Analysis and Stochastic Search for Reachability Problem
Chai, Xinwei; Ribeiro, Tony; Magnin, Morgan; Roux, Olivier; Inoue, Katsumi Elsevier Science B. V., Amsterdam 2020 p.139-158