Vista normal
Vista MARC
Logic design. (Término temático)
Machine generated authority record.
Work cat.: (UQROO)64030: Wolter, Katinka. editor. 135547, Formal Methods and Stochastic Models for Performance Evaluation
Machine generated authority record.
Work cat.: (UQROO)64030: Wolter, Katinka. editor. 135547, Formal Methods and Stochastic Models for Performance Evaluation