Black box checking (0)

by D PELED, M Y VARDI, M YANNAKAKIS
Venue:In Proc. of the IFIP TC6 WG6.1 Joint Int. Conf. on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX) (1999), Kluwer, B.V