@dblp

Testing Non-Deterministic State Machines with Fault Coverage.

, and . Protocol Test Systems, volume C-3 of IFIP Transactions, page 267-280. North-Holland, (1991)

Description

dblp

Links and resources

Tags