Normal view
MARC view
Model Creation (Topical Term)
Machine generated authority record
Work cat.: (NEDUET)776534: Holzmann, Gerard J. 779061, An Automated Verificattion Method for Distributed Systems Softwae Based on Model Extraction