![](/img/cover-not-exists.png)
Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism
Runde, Ragnhild Kobro, Refsdal, Atle, Stølen, KetilVolume:
25
Language:
english
Journal:
Formal Aspects of Computing
DOI:
10.1007/s00165-011-0192-5
Date:
March, 2013
File:
PDF, 492 KB
english, 2013