Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Towards the Assessment of Logics for Concurrent Actions
1996 (English)Conference paper, Published 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: 11 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf