dblp.uni-trier.dewww.uni-trier.de

K. Lund

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1997
1EEKlaus Havelund, Arne Skou, Kim Guldstrand Larsen, K. Lund: Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAA. IEEE Real-Time Systems Symposium 1997: 2-13

Coauthor Index

1Klaus Havelund [1]
2Kim Guldstrand Larsen [1]
3Arne Skou [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)