"On the Use of Fully Specified Initial States for Testing of Synchronous ..."

Irith Pomeranz, Sudhakar M. Reddy (2000)

Details and statistics

DOI: 10.1109/12.833114

access: closed

type: Journal Article

metadata version: 2017-05-20

a service of  Schloss Dagstuhl - Leibniz Center for Informatics