Login / Signup
Kristian Lund
Publication Activity (10 Years)
Years Active: 1997-2011
Publications (10 Years): 0
</>
Publications
</>
Kristian Lund
,
John Krogstie
Mobile Power Information System.
Int. J. Interoperability Bus. Inf. Syst.
11 (2011)
Klaus Havelund
,
Arne Skou
,
Kim Guldstrand Larsen
,
Kristian Lund
Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL.
RTSS
(1997)