by Ruggaard Pedersen, Mathias, Bacci, Giorgio, Guldstrand Larsen, Kim
Published in Electronic proceedings in theoretical computer science (20.01.2020)

by Anvari-Moghaddam, Amjad, Mohammadi-ivatloo, Behnam, Asadi, Somayeh, Guldstrand Larsen, Kim, Shahidehpour, Mohammad
Published in Applied sciences (01.10.2019)

by Foshammer, Louise, Guldstrand Larsen, Kim, Mariegaard, Anders
Published in Electronic proceedings in theoretical computer science (31.07.2016)

by Golmohamadi, Hessam, Guldstrand Larsen, Kim, Gjøl Jensen, Peter, Riaz Hasrat, Imran
Published in Energy and buildings (01.02.2021)

by Larsen, Kim Guldstrand, Sokolsky, Oleg, Wang, Ji
Year of Publication 2017

by D'Souza, Deepak, Lal, Akash, Larsen, Kim Guldstrand
Year of Publication 2014

by Cassez, Franck, Jensen, Peter Gjøl, Guldstrand Larsen, Kim
Published in Fundamenta informaticae (01.01.2021)

by Behrmann, Gerd, David, Alexandre, Larsen, Kim Guldstrand, Pettersson, Paul, Yi, Wang
Published in Software, practice & experience (01.02.2011)

by Cassez, Franck, Jensen, Peter Gjøl, Guldstrand Larsen, Kim
Published in Reachability Problems (2017)

by Aceto, Luca, Bacci, Giorgio, Bacci, Giovanni, Ingólfsdóttir, Anna, Legay, Axel, Mardare, Radu
Year of Publication 2017

by Groote, Jan Friso, Larsen, Kim Guldstrand
Year of Publication 2021

by Groote, Jan Friso, Larsen, Kim Guldstrand
Year of Publication 2021

by Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jiří Srba
Published in Logical methods in computer science (01.01.2021)

by Larsen, Kim Guldstrand, Willemse, Tim
Year of Publication 2019

by Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen
Published in Logical methods in computer science (01.01.2018)

by Jaeger, Manfred, Jensen, Peter Gjøl, Guldstrand Larsen, Kim, Legay, Axel, Sedwards, Sean, Taankvist, Jakob Haahr
Published in Automated Technology for Verification and Analysis

by Larsen, Kim Guldstrand, Potapov, Igor, Srba, Jiří
Year of Publication 2016

by Jensen, Peter Gjøl, Kiviriga, Andrej, Guldstrand Larsen, Kim, Nyman, Ulrik, Mijačika, Adriana, Høiriis Mortensen, Jeppe
Published in Quantitative Evaluation of Systems

by Claus Jensen, Mathias, Mariegaard, Anders, Guldstrand Larsen, Kim
Published in NASA Formal Methods (2019)

by Enevoldsen, Søren, Guldstrand Larsen, Kim, Srba, Jiří
Published in Model Checking Software (2019)