Список цитирования публикации:
VERIFICATION MODEL STRUCTURES FOR DIGITAL SYSTEMS DESIGN