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
24902 results for Exploratory Science
On fault tolerant routings in general networks
- David Peleg
- Barbara Simons
- 1987
- Information and Computation
PaperCompositional variations in doped iron oxide magnetic thin films
- B. Hermsmeier
- C.R. Brundle
- et al.
- 1987
- Journal of Vacuum Science and Technology A: Vacuum, Surfaces and Films
PaperIntertask Communications in an Integrated Multirobot System
- Kang G. Shin
- Mark E. Epstein
- 1987
- IEEE Journal on Robotics and Automation
PaperDiamagnetic shielding and Meissner effect in the high Tc superconductor Sr0.2La1.8CuO4
- H. Maletta
- A.P. Malozemoff
- et al.
- 1987
- Solid State Communications
PaperExperimental observations of transient phases during long‐range ordering to Ni4Mo in a NiMoFeCr alloy
- H.M. Tawancy
- M.O. Aboelfotoh
- 1987
- physica status solidi (a)
PaperLow‐angle electron diffraction from high temperature polystyrene crazes
- Larry L. Berger
- Donald J. Buckley
- et al.
- 1987
- Journal of Polymer Science, Part B: Polymer Physics
PaperEnergy levels in quasi uni-dimensional semiconductor heterostructures
- J.A. Brum
- G. Bastard
- et al.
- 1987
- Superlattices and Microstructures
PaperAngle resolved photoemission study of the alloy scattering effect in Hg1-xCdxTe
- C.K. Shih
- J.A. Silberman
- et al.
- 1987
- Journal of Vacuum Science and Technology A: Vacuum, Surfaces and Films
PaperA new, simple model for organic ferromagnetism and the first organic ferromagnet
- J.B. Torrance
- S. Oostra
- et al.
- 1987
- Synthetic Metals
Paper