Home
Heterogeneous Computing Laboratory
UCD School of Computer Science and Informatics
  • Projects
  • People
  • Publications
  • Conferences
  • Hardware
  • Wiki
  • Contact

Publications

  • List
  • Filter
Export 1 results:
  • RTF
  • XML
  • BibTex
Sort by: Author Title Type [ Year (Desc)]
Filters: Keyword is model checking  [Clear All Filters]
2005
Dichev, K., Verifikation der Eigenschaften von kryptographischen Protokollen unter Verwendung von Spin Was ist Model Checking?, : University of Stuttgart, pp. 1–8, 2005.
  • RTF
  • XML
  • BibTex
  • Google Scholar

Projects

  • Computation models
  • Communication models
  • Heterogeneous algorithms
  • Programming tools
  • Mathematical software

User login

  • Request new password
SFI IRCSET IBM

Hosted by UCD Open Source Lab