![](/img/cover-not-exists.png)
A temporal logic approach to object certification
Amílcar Sernadas, Cristina Sernadas, Jaime RamosVolume:
19
Year:
1996
Language:
english
Pages:
28
DOI:
10.1016/0169-023x(96)00004-3
File:
PDF, 1.58 MB
english, 1996