A Calculus for Modeling Floating Authorizations

AuthID
P-012-G94
3
Author(s)
Prokić I.
·
Pantović J.
·
Tipo de Documento
Article
Year published
2019
Publicado
in Journal of Logical and Algebraic Methods in Programming, ISSN: 2352-2208
Volume: 107, Páginas: 136-174 (38)
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-85082172794
Source Identifiers
ISSN: 2352-2208
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.