Showing 1 - 2 results of 2 for search 'Berglund, Lasse', query time: 0.07s Refine Results
  1. 1
    Executive Summaries in Software Model Checking
    by Berglund, Lasse
    Published 2018
    Get full text
    Others
  2. 2
    Investigating how Distributed Computation Pruning performs on the Generalized Linear Preference model
    by Berglund, Lasse, Ackland, Patrik
    Published 2015
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search