AUTOMATIC GRAPH TRANSFORMATION IN SYSTEM VERIFICATION

Bibliographic Details
Main Authors: Pataricza, András (Author), Varró, Daniel (Author), Varró, Gergely (Author)
Format: Article
Language:English
ISBN:8096832034