Author:
Gromov M. L.,Evtushenko N. V.
Publisher
Springer Science and Business Media LLC
Subject
General Physics and Astronomy
Reference5 articles.
1. R. Alur and D. L. Dill, Theor. Comput. Sci., 126, 183–235 (1994).
2. P. A. Bokhan, V. V. Buchanov, D. È. Zakrevskii, et al., Optical and Laser-Chemical Separation of Isotopes in Atomic Vapors [in Russian], Fizmatlit, Moscow (2010).
3. G. S. Evtushenko, M. V. Ttigub, F. A. Gubarev, et al., Rev. Sci. Instrum., 85, No. 3, 1–5 (2014).
4. A. M. Shalagin, Usp. Fiz. Nauk, 181, No. 9, 1011–1016 (2010).
5. S. Tripakis, Inform. Proc. Lett., 99 (6), 222–226 (2006).