TEACHING MODEL CHECKING TO UNDERGRADUATES.
- Published in:
- Studia Universitatis Babes-Bolyai, Informatica, 2010, v. 55, n. 1, p. 45
- By:
- Publication type:
- Article
Works matching DE "SPIN (Computer program language)"
Results: 5
1
2
Entanglement of spin coherent mixed states.
- Published in:
- International Journal of Quantum Information, 2016, v. 14, n. 1, p. 1, doi. 10.1142/S0219749916500040
- By:
- Publication type:
- Article
3
PERFECT STATE TRANSFER IN XX CHAINS INDUCED BY BOUNDARY MAGNETIC FIELDS.
- Published in:
- International Journal of Quantum Information, 2012, v. 10, n. 3, p. 1250029-1, doi. 10.1142/S0219749912500293
- By:
- Publication type:
- Article
4
A case study of planning for smart factories.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 5, p. 515, doi. 10.1007/s10009-018-0498-1
- By:
- Publication type:
- Article
5
Nonlocal Coulomb interaction and spin-freezing crossover as a route to valence-skipping charge order.
- Published in:
- NPJ Quantum Materials, 2020, v. 5, n. 1, p. 1, doi. 10.1038/s41535-020-0221-9
- By:
- Publication type:
- Article