Algorithmic Verification of Continuous and Hybrid Systems
- 期刊名称Electronic Proceedings in Theoretical Computer Science
- 作者Maler, Oded
- 卷第140卷
- DOI210.0000/eptcs.web.cse.unsw.edu.au/generic-13B4AC5C6DE2
- 电子ISSN2075-2180
- 文件大小240.53KB
- 发表时间2014-2-23
- DOI10.4204/EPTCS.140.4
- 页码48-69
Sealing the Mitochondrial RespirasomeWinge, D. R. · Molecular and Cellular Biology · 2012
Nuclear Lamins and NeurobiologyYoung, S. G.; Jung, H.-J.; Lee, J. M.; Fong, L. G. · Molecular and Cellular Biology · 2014
Cloning Expeditions: Risky but RewardingLodish, H. · Molecular and Cellular Biology · 2013
Organization of Mammalian CytoplasmHudder, A.; Nathanson, L.; Deutscher, M. P. · Molecular and Cellular Biology · 2003
Coupling mRNA Synthesis and DecayBraun, K. A.; Young, E. T. · Molecular and Cellular Biology · 2014
At the Revolution with Fred ShermanZaret, K. S. · Molecular and Cellular Biology · 2014
Modification of Subtelomeric DNASteinert, S.; Shay, J. W.; Wright, W. E. · Molecular and Cellular Biology · 2004
Editorial BoardMolecular and Cellular Biology · 2013