Verifying concurrent processes using temporal logic
Material type:
- 0387112057
Item type | Home library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
![]() |
Biblioteca de la Facultad de Informática | D.2.4 HAI (Browse shelf(Opens below)) | Available | DIF-04161 |
Incluye índice y bibliografía.