Showing 1 - 3 results of 3 for search 'Gutkovas, Ramūnas', query time: 0.05s Refine Results
  1. 1
    Exercising Psi-calculi : A Psi-calculi workbench
    by Gutkovas, Ramunas
    Published 2011
    Get full text
    Others
  2. 2
    Languages, Logics, Types and Tools for Concurrent System Modelling
    by Gutkovas, Ramūnas
    Published 2016
    Get full text
    Get full text
    Doctoral Thesis
  3. 3
    Advancing concurrent system verification : Type based approach and tools
    by Gutkovas, Ramunas
    Published 2014
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search