[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || NuSMV 2: An OpenSource Tool for Symbolic Model Checking
- 作者Brinksma, Ed; Larsen, Kim Guldstrand
- 文件大小119.39KB
- 发表时间2002
- DOI10.1007/3-540-45657-0_29
- 页码359-364
II.?Communications from the Laboratory of the London Institution. No. III.?Observations on the nitrochlorophenolsArmstrong, Henry E. · Journal of the Chemical Society · 1872
XXV.?Communications from the Laboratory of the London Institution. Note on isomeric change in the phenol seriesArmstrong, Henry E. · Journal of the Chemical Society · 1875
XIV.?Communications from the Laboratory of the London Institution. No. I.?On the formation of sulpho-acidsArmstrong, Henry E. · Journal of the Chemical Society · 1871
IV.?Communications from the Laboratory of the London Institution. No. IV.?The nitration-products of the dichlorophenolsulphonic acidsArmstong, Henry E. · Journal of the Chemical Society · 1872
XXX.?Communications from the Laboratory of the London Institution. No. V.?On the nitration-products of the dibromophenolsulphonic acidsArmstrong, Henry E.; Brown, Freed. D. · Journal of the Chemical Society · 1872
XXVIII.?Communications from the Laboratory of the London Institution. No. II.?On the action of nitric acid on the dichlorophenolsulphonic acidsArmstrong, Henry E. · Journal of the Chemical Society · 1871
XX.?Communications from the Laboratory of the London Institution. On the action of potassic sulphite on the halo�d derivatives of phenolArmstrong, Henry E.; Harrow, George · Journal of the Chemical Society · 1876
XXVIII.?Communications from the Laboratory of the London Institution. No. XI.?Action of the acid chlorides on nitrates and nitrites. Part I. Action of acetic chlorideArmstrong, Henery E. · Journal of the Chemical Society · 1873