Assertional verification of a timer-based protocol
DSpace/Manakin Repository
Assertional verification of a timer-based protocol
(1987) Utrecht University Repository
(Report)
Download/Full Text
Keywords: Wiskunde en Informatica (WIIN), Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen, Ordered by external client
ISBN: 0924-3275
Publisher: Unknown Publisher
See more statistics about this item