Logical foundations of hierarchical model checking
- 期刊名称Data Technologies and Applications
- 作者Kamide, Norihiro
- 印刷ISSN2514-9288
- 文件大小316.08KB
- 发表时间2018-08-29
- DOI10.1108/DTA-01-2018-0002
Collagen family of proteinsvan der Rest, M; Garrone, R · The FASEB journal : official publication of the Federation of American Societies for Experimental Biology · 1991
How cells (might) sense microgravity.Ingber, D · The FASEB journal : official publication of the Federation of American Societies for Experimental Biology · 1999
Engineering proteins for nonnatural environments.Arnold, F H · The FASEB journal : official publication of the Federation of American Societies for Experimental Biology · 1993
Adriamycin cardiomyopathy: pathophysiology and prevention.Singal, P K; Iliskovic, N; Li, T; Kumar, D · The FASEB journal : official publication of the Federation of American Societies for Experimental Biology · 1997
Biological responses to electromagnetic fields.Lacy-Hulbert, a; Metcalfe, J C; Hesketh, R · The FASEB journal : official publication of the Federation of American Societies for Experimental Biology · 1998
Heparan sulfate: a piece of information.Salmivirta, M; Lidholt, K; Lindahl, U · The FASEB journal : official publication of the Federation of American Societies for Experimental Biology · 1996
The extracellular matrix in hepatic regeneration.Martinez-Hernandez, a; Amenta, P S · The FASEB journal : official publication of the Federation of American Societies for Experimental Biology · 1995
The Hill equation revisited: uses and misuses.Weiss, J N · The FASEB journal : official publication of the Federation of American Societies for Experimental Biology · 1997