Decision procedures over sophisticated fractional permissions
10.1007/978-3-642-35182-2_26
Saved in:
Main Authors: | Bach, L.X., Gherghina, C., Hobor, A. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Conference or Workshop Item |
Published: |
2013
|
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/40830 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
DISJOINT FRACTIONAL PERMISSIONS IN VERIFICATION: APPLICATIONS, SYSTEMS AND THEORY
by: LE XUAN BACH
Published: (2017) -
Logical reasoning for disjoint permissions
by: Le X.-B., et al.
Published: (2020) -
Text sophistication and sophisticated investors
by: JOENVAARA, Juha, et al.
Published: (2019) -
Search and permission request over encrypted database
by: Tjuawinata, Ivan, et al.
Published: (2024) -
A two-stage decision procedure for monitoring processes with low fraction nonconforming
by: Chan, L.Y., et al.
Published: (2014)