Study of fluid circulation through the chicxulub crater using Rock-Eval pyrolysis and fluid inclusions von Hernández-Terrones, L, Martínez, L, Szamotulski, J, González-Partida, E, Morgan, JV, Lowery, CM, Gulick, SPS, Rebolledo-Vieyra, M, Kring, D

Volltext

Study of fluid circulation through the chicxulub crater using Rock-Eval pyrolysis and fluid inclusions von Hernández-Terrones, L., Martínez, L., Szamotulski, J., González-Partida, E., Morgan, J.V., Lowery, C.M., Gulick, S.P.S., Rebolledo-Vieyra, M., Kring, D.

Volltext

Flexible Formality Practical Experience with Agile Formal Methods von Kant, Philipp, Hammond, Kevin, Coutts, Duncan, Chapman, James, Clarke, Nicholas, Corduan, Jared, Davies, Neil, Díaz, Javier, Güdemann, Matthias, Jeltsch, Wolfgang, Szamotulski, Marcin, Vinogradova, Polina

Volltext