Institut for Datalogi

• Udgivet

  Quantitative Verification on Product Graphs of Small Treewidth

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

• Udgivet

  The reads-from equivalence for the TSO and PSO memory models

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Konferenceartikel › Forskning › peer review

• Udgivet

  Stateless Model Checking Under a Reads-Value-From Equivalence

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Vis alle (39) »