Normal view
MARC view
Pnuieli, Amir (Nombre personal)
Machine generated authority record
Work cat.: ()845204: Manna, Zohar 254761, Temporal verification of reactive systems :, 1995