• 577 Citations
  • 13 h-Index
20062019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

  • 577 Citations
  • 13 h-Index
  • 25 Conference contribution
  • 12 Article
  • 1 Paper
Filter
Paper
Paper

An example of proving UC-realization with formal methods

Andova, S., Gjøsteen, K., Kråkmo, L., Mjølsnes, S. F. & Radomirović, S., 9 Jul 2006, p. 46-54. 9 p.

Research output: Contribution to conferencePaper

Open Access
File
18 Downloads (Pure)