Normal view
MARC view
MODELO CONCURRENTE (Término temático)
Machine generated authority record
Work cat.: ()845210: Manna, Zohar 254767, The temporal logic of reactive and concurrent systems :, 1991