Change search
ReferencesLink to record
Permanent link

Direct link
Towards the Assessment of Logics for Concurrent Actions
1996 (English)Conference paper (Refereed)
Place, publisher, year, edition, pages
1996.
National Category
Information Systems
Research subject
Information Systems
Identifiers
URN: urn:nbn:se:kau:diva-24998OAI: oai:DiVA.org:kau-24998DiVA: diva2:598772
Conference
Proceedings of FAPR'96: International Conference on Formal and Applied Practical Reasoning, pages 679-690, Springer, June 1996, Bonn, Germany
Available from: 2013-01-22 Created: 2013-01-22 Last updated: 2013-01-22

Open Access in DiVA

No full text

Information Systems

Search outside of DiVA

GoogleGoogle Scholar

Total: 6 hits
ReferencesLink to record
Permanent link

Direct link