Normal view
MARC view
- Pnueli, Amir,
Pnueli, Amir, 1941-2009. (Personal Name)
Machine generated authority record.
Work cat.: (BD-SySUS)0: Manna, Zohar. 24866, The temporal logic of reactive and concurrent systems /, c1992.