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
    Alur, R
    Henzinger, TA
    Ho, PH
    [J]. 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
    Berg, OG
    Paulsson, J
    Ehrenberg, M
    [J]. BIOPHYSICAL JOURNAL, 2000, 79 (03) : 1228 - 1236
  • [9] Booch G., 1997, UNIFIED MODELING LAN
  • [10] BROCKETT RW, 1993, PROG SYST C, V14, P29
1234