"A Model-based Design-for-Verification Approach to Checking for Deadlock in ..."

Beata Sarna-Starosta, R. E. Kurt Stirewalt, Laura K. Dillon (2006)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2007-02-28