Model Building and Model Checking for Biochemical Processes

Cell Biochemistry and Biophysics - Tập 38 Số 3 - Trang 271-286
Marco Antoniotti1, Alberto Policriti2, Nadia Ugel1, Bud Mishra3
1Courant Institute of Mathematical Sciences, New York University, NY
2Università di Udine, Italy
3Cold Spring Harbor Laboratory, Long Island, NY

Tóm tắt

Từ khóa


Tài liệu tham khảo

Thông tin
Thông tin xuất bản

Cell Biochemistry and Biophysics

Tập 38 Số 3

271-286

Thông tin tác giả