Mark C. Hansen, John P. Hayes. High-Level Test Generation Using Symbolic Scheduling. In Proceedings IEEE International Test Conference 1995, Driving Down the Cost of Test, Washington, DC, USA, October 21-25, 1995. pages 586-595, IEEE Computer Society, 1995.
Abstract is missing.