𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A new model for model checking: cycle-weighted Kripke structure

✍ Scribed by Zhu, Jiaqi ;Wang, Hanpin ;Xu, Zhongyuan ;Xu, Chunxiang

Book ID
107475643
Publisher
Higher Education Press and Springer
Year
2010
Tongue
English
Weight
170 KB
Volume
4
Category
Article
ISSN
1673-7350

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A new model system for studying the phos
A new model system for studying the phosphatidylinositol cycle
✍ Marie E. Monaco; Marc E. Lippman πŸ“‚ Article πŸ“… 1982 πŸ› John Wiley and Sons 🌐 English βš– 643 KB

## Abstract An early manifestation of the response of WRK‐1 rat mammary tumor cells to vasopressin is an increase in incorporation of (^32^P)P~i~ into phospholipids. Incorporation into all classes of phospholipids is stimulated; however, incorporation into phosphatidylinositol (PI) is increased to

A New Structural Model for Lithium Nioba
A New Structural Model for Lithium Niobate
✍ J. C. Vyas; G. P. Kothiyal; B. Ghosh; M. K. Gupta πŸ“‚ Article πŸ“… 1995 πŸ› John Wiley and Sons 🌐 English βš– 403 KB

A new model based on the crystal field theory is proposed for LiNbO,. According to this the central position of the Nb ions in oxygen octahedra is energetically unstable leading to the splitting of the potential energy curve into the one having two equivalent off-centered minima. The phase transitio