4 results
Assertion-based analysis via slicing with ABETS* (system description)
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 5-6 / September 2016
- Published online by Cambridge University Press:
- 14 October 2016, pp. 515-532
-
- Article
- Export citation
Fast Solution Precursor Synthesis of the 2223 Phase: the Role of Lead in the Reaction Pathway
-
- Journal:
- MRS Online Proceedings Library Archive / Volume 346 / 1994
- Published online by Cambridge University Press:
- 21 February 2011, 377
- Print publication:
- 1994
-
- Article
- Export citation
The Influence of Morphological Aspects in the Reaction Pathway and Superconductive Properties of Bi2223-Ca2CuO3 Ceramic Composites
-
- Journal:
- MRS Online Proceedings Library Archive / Volume 346 / 1994
- Published online by Cambridge University Press:
- 21 February 2011, 427
- Print publication:
- 1994
-
- Article
- Export citation
Transport and Diamagnetic Properties of 2:2:1:2 and 2:2:2:3 (Bi-Pb)-Sr-Ca-Cu-O Superconducting Materials
-
- Journal:
- MRS Online Proceedings Library Archive / Volume 169 / 1989
- Published online by Cambridge University Press:
- 28 February 2011, 1057
- Print publication:
- 1989
-
- Article
- Export citation