• Selma Lagerløfs Vej 300, 1-2-50

    9220 Aalborg Ø

    Danmark

20152018
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationer 2015 2018

  • 2 Konferenceartikel i proceeding
  • 1 Tidsskriftartikel
  • 1 Konferenceartikel i tidsskrift
Filter
Tidsskriftartikel
2018

Reasoning About Bounds in Weighted Transition Systems

Hansen, M., Larsen, K. G., Mardare, R. I. & Pedersen, M. R., 26 nov. 2018, I : Logical Methods in Computer Science. 14, 4, 19.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Bisimulation
Transition Systems
Reasoning
Logic
Finite Models