- Refsdal Atle, Runde Ragnhild Kobro, Stølen Ketil (2008). Relating computer systems to sequence diagrams with underspecification, inherent nondeterminism and probabilistic choice. Part 2. (Research report (Universitetet i Oslo. Institutt for informatikk); 347)
Reference(s) are copied to the clipboard