New insights into nocturnal nucleation von Ortega, I. K, Suni, T, Boy, M, Grönholm, T, Manninen, H. E, Nieminen, T, Ehn, M, Junninen, H, Hakola, H, Hellén, H, Valmari, T, Arvela, H, Zegelin, S, Hughes, D, Kitchen, M, Cleugh, H, Worsnop, D. R, Kulmala, M, Kerminen, V.-M

Volltext

Radon measurement and mitigation activity in Finland von Valmari, T, Arvela, H, Reisbacka, H, Holmgren, O

Volltext

Radon in Finnish apartment buildings von Valmari, T, Arvela, H, Reisbacka, H

Volltext

Abstract matching for software model checking von DE LA CAMARA, Pedro, DEL MAR GALLARDO, Maria, MERINO, Pedro

Volltext

Finnish radon situation analysed using national measurement database von Valmari, T, Mäkeläinen, I, Reisbacka, H, Arvela, H

Volltext

Application and Theory of Petri Nets and Concurrency: 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings von Devillers, Raymond, Valmari, Antti

Volltext

Volatilization of the Heavy Metals during Circulating Fluidized Bed Combustion of Forest Residue von Lind, Terttaliisa, Valmari, Tuomas, Kauppinen, Esko I, Sfiris, George, Nilsson, Kristina, Maenhaut, Willy

Volltext

Towards a compositional SPIN von PASAREANU, Corina S, GIANNAKOPOULOU, Dimitra

Volltext

Don’t Know in Probabilistic Systems von Fecher, Harald, Leucker, Martin, Wolf, Verena

Volltext

Model Checking Dynamic States in GROOVE von Kastenberg, Harmen, Rensink, Arend

Volltext

Field Study on Ash Behavior during Circulating Fluidized-Bed Combustion of Biomass. 1. Ash Formation von Valmari, T, Lind, T. M, Kauppinen, E. I, Sfiris, G, Nilsson, K, Maenhaut, W

Volltext

Large-Scale Directed Model Checking LTL von Edelkamp, Stefan, Jabbar, Shahid

Volltext

Directed Model Checking with Distance-Preserving Abstractions von Dräger, Klaus, Finkbeiner, Bernd, Podelski, Andreas

Volltext

Field Study on Ash Behavior during Circulating Fluidized-Bed Combustion of Biomass. 2. Ash Deposition and Alkali Vapor Condensation von Valmari, T, Lind, T. M, Kauppinen, E. I, Sfiris, G, Nilsson, K, Maenhaut, W

Volltext

Verification of Medical Guidelines by Model Checking – A Case Study von Bäumler, Simon, Balser, Michael, Dunets, Andriy, Reif, Wolfgang, Schmitt, Jonathan

Volltext

Symbolic Execution with Abstract Subsumption Checking von Anand, Saswat, Păsăreanu, Corina S., Visser, Willem

Volltext

Larger Automata and Less Work for LTL Model Checking von Geldenhuys, Jaco, Hansen, Henri

Volltext

jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str) von Topnik, Christian, Wilhelm, Eva, Margaria, Tiziana, Steffen, Bernhard

Volltext

Non-atomic Transition Firing in Contextual Nets von Chatain, Thomas, Haar, Stefan, Koutny, Maciej, Schwoon, Stefan

Volltext

Distributed On-the-Fly Model Checking and Test Case Generation von Joubert, Christophe, Mateescu, Radu

Volltext