2014

Guastalla, G. ; DiJulio, D. D. ; Górska, M. ; Cederkäll, J. ; Boutachkov, P. ; Golubev, P. ; Pietri, S. ; Grawe, H. ; Nowacki, F. ; Algora, A. ; Ameil, F. ; Arici, T. ; Atac, A. ; Bentley, M. A. ; Blazhev, A. ; Bloor, D. ; Brambilla, S. ; Braun, N. ; Camera, F. ; Pardo, C. Domingo ; Estrade, A. ; Farinon, F. ; Gerl, J. ; Goel, N. ; Grȩbosz, J. ; Habermann, T. ; Hoischen, R. ; Jansson, K. ; Jolie, J. ; Jungclaus, A. ; Kojouharov, I. ; Knoebel, R. ; Kumar, R. ; Kurcewicz, J. ; Kurz, N. ; Lalović, N. ; Merchan, E. ; Moschner, K. ; Naqvi, F. ; Singh, B. S. Nara ; Nyberg, J. ; Nociforo, C. ; Obertelli, A. ; Pfützner, M. ; Pietralla, N. ; Podolyák, Z. ; Prochazka, A. ; Ralet, D. ; Reiter, P. ; Rudolph, D. ; Schaffner, H. ; Schirru, F. ; Scruton, L. ; Swaleh, T. ; Taprogge, J. ; Wadsworth, R. ; Warr, N. ; Weick, H. ; Wendt, A. ; Wieland, O. ; Winfield, J. S. ; Wollersheim, H. J. (2014)
Analysis and results of the ¹⁰⁴Sn Coulomb excitation experiment.
In: Journal of Physics: Conference Series, 533 (1)
doi: 10.1088/1742-6596/533/1/012047
Artikel, Bibliographie

1993

Hähnle, Reiner ; Kernig, Werner
Hrsg.: Kropf, Th. ; Kumar, R. ; Schmid, D. (1993)
Uses of Many-Valued Deduction in Hardware Verification.
Konferenzveröffentlichung, Bibliographie