@inproceedings{4db8b2408ac211dbbb3d000ea68e967b,
title = "Formal Modelling and Analysis of an Audio/Video Protocol: an Industrial Case Study using Uppaal",
author = "Klaus Havelund and Larsen, {Kim Guldstrand} and Arne Skou",
note = "ISSN ; -; Formal Modelling and Analysis of an Audio/Video Protocol ; Conference date: 19-05-2010",
year = "1997",
language = "English",
isbn = "081868268x",
pages = "2--13",
booktitle = "Proceedings of the 18th IEEE Real-Time Systems Symposium, RTSS'97, San Francisco, Calif., December 3-5, 1997",
publisher = "IEEE Computer Society Press",
address = "United States",
}