Verification of an Audio Control Protocol.

Authors:
Doeko J.B. Bosscher;Indra Polak;Frits W. Vaandrager
Affiliations:
-;-;-
Venue:
Verification of an Audio Control Protocol.
Year:
1994

Citing 0
Cited 1

Automated Test Generation from Timed Automata

TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract