Modeling and analyzing biomolecular networks

被引：24

作者：

Alur, R

Belta, C

Kumar, V

Mintz, M

Pappas, GJ

Rubin, H

Schug, J

机构：

[1] Univ Penn, Dept Comp & Informat Sci, Philadelphia, PA 19104 USA

[2] Univ Penn, GRASP Lab, Philadelphia, PA 19104 USA

[3] Univ Penn, Sch Med, Philadelphia, PA 19104 USA

[4] Univ Penn, Ctr Bioinformat, Philadelphia, PA 19104 USA

来源：

COMPUTING IN SCIENCE & ENGINEERING | 2002年 / 4卷 / 01期

关键词：

D O I：

10.1109/5992.976434

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

引用

页码：20 / 31

页数：12

共 39 条

[1] Automatic symbolic verification of embedded systems [J].

Alur, R ;

Henzinger, TA ;

Ho, PH .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1996, 22 (03) :181-201

[2]

Alur R, 2000, LECT NOTES COMPUT SC, V1790, P6

[3]

ALUR R, 1996, LECT NOTES COMPUTER, V1066

[4]

[Anonymous], 1995, WORKSHOP

[5]

Arkin A, 1998, GENETICS, V149, P1633

[6]

ARKIN R, 1998, ARTIFICIAL INTELLIGE

[7]

BELTA C, 2001, STABILITY REACHABILI

[8] Fluctuations and quality of control in biological cells: Zero-order ultrasensitivity reinvestigated [J].

Berg, OG ;

Paulsson, J ;

Ehrenberg, M .

BIOPHYSICAL JOURNAL, 2000, 79 (03) :1228-1236

[9]

Booch G., 1997, UNIFIED MODELING LAN

[10]

BROCKETT RW, 1993, PROG SYST C, V14, P29

← 1 2 3 4 →