Showing 1 - 2 results of 2 for search 'Sven Linker', query time: 0.02s Refine Results
  1. 1
    Formalising Sensor Topologies for Target Counting

    Formalising Sensor Topologies for Target Counting by Sven Linker, Michele Sevegnani

    Published 2018-02-01
    Get full text
    Article
  2. 2
    Proof Theory of a Multi-Lane Spatial Logic

    Proof Theory of a Multi-Lane Spatial Logic by Sven Linker, Martin Hilscher

    Published 2015-08-01
    Get full text
    Article

Search Tools: