Publications

  • Category

  • Sorting

  • 8977 publications found
  • Publisher
Publisher Norsk Regnesentral

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