[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Abstraction Refinement via Inductive Learning
- 作者Etessami, Kousha; Rajamani, Sriram K.
- 文件大小469.61KB
- 发表时间2005
- DOI10.1007/11513988_50
- 页码519-533
[Subcellular Biochemistry] Fusion of Biological Membranes and Related Problems Volume 34 || Annexins and Membrane FusionHilderson, Herwig; Fuller, Stephen · 2002
[Subcellular Biochemistry] Fusion of Biological Membranes and Related Problems Volume 34 || Transactions at the Peroxisomal MembraneHilderson, Herwig; Fuller, Stephen · 2002
[Subcellular Biochemistry] Fusion of Biological Membranes and Related Problems Volume 34 || Sulfhydryl Involvement in Fusion MechanismsHilderson, Herwig; Fuller, Stephen · 2002
[Subcellular Biochemistry] Fusion of Biological Membranes and Related Problems Volume 34 || Neurons, Chromaffin Cells and Membrane FusionHilderson, Herwig; Fuller, Stephen · 2002
[Subcellular Biochemistry] Fusion of Biological Membranes and Related Problems Volume 34 || Membrane Fusion Events during Nuclear Envelope AssemblyHilderson, Herwig; Fuller, Stephen · 2002
[Subcellular Biochemistry] Fusion of Biological Membranes and Related Problems Volume 34 || Fusion Mediated by the HIV-1 Envelope ProteinHilderson, Herwig; Fuller, Stephen · 2002
[Subcellular Biochemistry] Fusion of Biological Membranes and Related Problems Volume 34 || Neurotoxins as Tools in Dissecting the Exocytic MachineryHilderson, Herwig; Fuller, Stephen · 2002
[Subcellular Biochemistry] Fusion of Biological Membranes and Related Problems Volume 34 || The Secretory Pathway From History to the State of the ArtHilderson, Herwig; Fuller, Stephen · 2002