STT Nội dung
1
2
3
Advanced Computing and Systems for Security : Volume 2/ edited by Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki.

1 online resource (X, 278 pages 85 illustrations in color.)


Đầu mục:0 (Lượt lưu thông:0) Tài liệu số:1 (Lượt truy cập:0)

4
Authorized workflow schemas: deciding realizability through LTL ( F ) model checking / Jason Crampton, Michael Huth, Jim Huan-Pu Kuo

From p.30-47
Crampton, Jason

Đầu mục:0 (Lượt lưu thông:0) Tài liệu số:1 (Lượt truy cập:0)
5