Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial . . . (1997)

Cached

Download Links

by Kim G. Larsen , Kristian Lund , Klaus Havelund , Klaus Havelund , Arne Skou , Arne Skou , Kim Guldstrand Larsen
Citations:2 - 0 self