liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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
Runtime Verification of Agent Properties
Dip. di Informatica, Universit`a di L’Aquila, Coppito 67100, L’Aquila, Italy.
Linköping University, Department of Science and Technology, Visual Information Technology and Applications (VITA). Linköping University, The Institute of Technology.
Departamento de Informatica, Centro de Inteligencia Artificial (CENTRIA), Universidade Nova de Lisboa, Portugal.
Dip. di Informatica, Universit`a di L’Aquila, Coppito 67100, L’Aquila, Italy.
2009 (English)In: Int. Conf. on Applications of Declarative Programming and Knowledge Management (INAP09) / [ed] Salvador Abreu and Dietmar Seipel, 2009, 257-271 p.Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
2009. 257-271 p.
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:liu:diva-52322OAI: oai:DiVA.org:liu-52322DiVA: diva2:281393
Conference
Applications of Declarative Programming and Knowledge Management (INAP09)
Available from: 2009-12-15 Created: 2009-12-15 Last updated: 2010-01-14

Open Access in DiVA

No full text

Authority records BETA

Dell'Acqua, Pierangelo

Search in DiVA

By author/editor
Dell'Acqua, Pierangelo
By organisation
Visual Information Technology and Applications (VITA)The Institute of Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 315 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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