The complementation problem for Büchi automata with applications to temporal logic
- A. Prasad Sistla
- Moshe Y. Vardi
- et al.
- 1987
- Theoretical Computer Science
Paper
Publications
26944 results for Science
Synthesis and characterization of deuterated poly(arylene ether sulfones)
- J.L. Hedrick
- J.J. Dumais
- et al.
- 1987
- Journal of Polymer Science Part A: Polymer Chemistry
PaperA distributed adaptive routing algorithm
- M.S. Chen
- J.S. Meditch
- 1987
- Computers and Electrical Engineering
PaperEnergy levels in quasi uni-dimensional semiconductor heterostructures
- J.A. Brum
- G. Bastard
- et al.
- 1987
- Superlattices and Microstructures
PaperComparisons of Transport Properties, Electron Deficiency and Superconducting Tc in the La2‐xSrxCuO4‐δ system and YBa2Cu3O9‐δ
- T. Penney
- M.W. Shafer
- et al.
- 1987
- Advanced Ceramic Materials
PaperTemperature dependence of the Raman spectrum of the high Tc superconductor YBa2Cu3O7
- R.M. Macfarlane
- Hal Rosen
- et al.
- 1987
- Solid State Communications
PaperTwo-band model for high Tc superconductivity in La2-x(Ba,Sr)xCuO4
- D.H. Lee
- J. Ihm
- 1987
- Solid State Communications
PaperElectron paramagnetic resonance of Mn4+ in BaTiO3
- K.A. Müller
- W. Berlinger
- et al.
- 1987
- Solid State Communications
PaperGrowth and microstructure of superconducting YBa2Cu3Ox single crystals
- D. Kaiser
- F. Holtzberg
- et al.
- 1987
- Journal of Crystal Growth
PaperCeramics in microelectronics
- R.R. Tummala
- R.B. Shaw
- 1987
- Ceramics International
Paper