[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 10747 || Abstract Code Injection
- 作者Dillig, Isil; Palsberg, Jens
- 文件大小752.02KB
- 发表时间2018
- DOI10.1007/978-3-319-73721-8_6
- 页码116-137
Water Mites: Phylogeny and Evolution.ABÉ, Hiroshi · Journal of the Acarological Society of Japan · 2000
Phylogenetic taxonomy of the marine mite genusRhombognathides(Acari: Halacaridae: Rhombognathinae)Hiroshi Abé · 2001
A new species of the genus <i>Scaptognathus</i> (Acari, Halacaridae) from JapanAbé, Hiroshi · Journal of Natural History · 1990
Phylogeny and character evolution of the marine mite genus <i>Isobactrus</i> (Acari: Halacaridae)Abé, Hiroshi · Journal of Natural History · 2001
Offspring discrimination by female parents of the matriphagous spider <i>Cheiracanthium japonicum</i> (Araneae: Eutichuridae)Koyanagi, Chie; Abé, Hiroshi · Journal of Natural History · 2016
Water mites (Acari:Hydrachnidiae and Stygothrombiae) parasitic on aquatic animals in JapanABÉ, Hiroshi; OHBA, Shin-ya · Journal of the Acarological Society of Japan · 2016
Promotion of spermatogonial proliferation by neuregulin 1 in newt (Cynops pyrrhogaster) testisOzlem Oral; Ichiro Uchida; Ko Eto; Yuki Nakayama; Osamu Nishimura; Yukako Hirao; Junko Ueda; Hiroshi Tarui; Kiyokazu Agata; Shin-Ichi Abé · 2008