Publications

  • Category

  • Sorting

  • 8976 publications found
  • Publisher

Verifying Distributed Algorithms with Executable Creol Models 2011. Scientific chapter / article / conference article

Statistics Forelesning kurs 2011. Scientific lecture

Improving SIP authentication 2011. Scientific chapter / article / conference article