共 50 条
- [42] Toward Stem Cell Systems Biology: From Molecules to Networks and Landscapes CONTROL AND REGULATION OF STEM CELLS, 2008, 73 : 211 - 215
- [44] Algorithmic algebraic model checking I: Challenges from systems biology COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2005, 3576 : 5 - 19
- [46] Model revision from temporal logic properties in computational systems biology Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008, 4911 LNAI : 287 - 304
- [50] Systems biology of T cell activation SPARKING SIGNALS: KINASES AS MOLECULAR SIGNAL TRANSDUCERS AND PHARMACOLOGICAL DRUG TARGETS IN INFLAMMATION, 2008, 3 : 43 - 61