Phases and stability of non-uniform black strings
- 期刊名称Journal of High Energy Physics
- 作者Emparan, Roberto; Luna, Raimon; Martínez, Marina; Suzuki, Ryotaku; Tanabe, Kentaro
- 卷第2018卷
- 期第5期
- 电子ISSN1029-8479
- 文件大小988.84KB
- 发表时间2018-5
- DOI10.1007/JHEP05(2018)104
[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || Formal Development with ABELPrehn, Søren; Toetenel, Hans · 1991
[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || The B-methodPrehn, Søren; Toetenel, Hans · 1991
[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || Mathematical methods for digital systems developmentPrehn, Søren; Toetenel, Hans · 1991
[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || A tutorial on the refinement calculusPrehn, Søren; Toetenel, Hans · 1991
[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || The RAISE specification language a tutorialPrehn, Søren; Toetenel, Hans · 1991
[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || The PROSPECTRA methodology and system: uniform transformational (meta-) developmentPrehn, Søren; Toetenel, Hans · 1991
[Lecture Notes in Computer Science] VDM'91 Formal Software Development Methods Volume 551 || CICS project report experiences and results from the use of Z in IBMPrehn, S.; Toetenel, W. J. · 1991
[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || The B-methodPrehn, Søren; Toetenel, Hans · 1991
[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || Formal Development with ABELPrehn, Søren; Toetenel, Hans · 1991
[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || Mathematical methods for digital systems developmentPrehn, Søren; Toetenel, Hans · 1991
[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || A tutorial on the refinement calculusPrehn, Søren; Toetenel, Hans · 1991
[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || The RAISE specification language a tutorialPrehn, Søren; Toetenel, Hans · 1991
[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || The PROSPECTRA methodology and system: uniform transformational (meta-) developmentPrehn, Søren; Toetenel, Hans · 1991