Uppsala University, Sweden

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
Uppsala University, Sweden
 

OrgUnit's Publications


Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fischer, Ulrich ; Avrigeanu, Marilena ; Avrigeanu, Vlad ; Konobeyev, Alexander ; Kodeli, Ivo ; Leeb, Helmut ; Fleming, Michael ; Gilbert, Mark ; Rochman, Dimitri ; Pereslavtsev, Pavel ; Sauvan, Patrick ; Schnabel, Georg ; Simakov, Stanislav ; Sjöstrand, Henrik Nuclear data activities of the EUROfusion consortiumInproceedings Konferenzbeitrag1-May-2020
211_Distributed Bounded Model Checking.pdf.jpgChatterje, Prantik ; Roy, Subhajit ; Phi Diep, Bui ; Lal, Akash Distributed Bounded Model CheckingInproceedings Konferenzbeitrag 2020