Vista normal Vista MARC

Computer science. (Término temático)

Forma preferida: Computer science.

Machine generated authority record.

Work cat.: (UQROO)74301: Braberman, Vȡctor. editor. 211144, Formal Modeling and Analysis of Timed Systems