Publicações

A Labeled Tableaux System for the Distributed Temporal Logic Dtl

AuthID
P-005-6W3

Author(s)

Basin, D

Caleiro, C

Ramos, J

Vigano, L

Editor(es)

Stéphane Demri; Christian S. Jensen

Tipo de Documento

Proceedings Paper

Year published

2008

Publicado

in TIME 2008: 15TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS in TIME

Páginas: 101-109 (9)

Conference

15Th International Symposium on Temporal Representation and Reasoning, Date: JUN 16-18, 2008, Location: Montreal, CANADA, Patrocinadores: FQRSC, Univ Quebec Montreal, Lab Specificat & Verificat

Indexing

Wos^®

Scopus^®

Dblp^®/pt/publications/view/170883

Crossref^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1109/TIME.2008.21

DBLP: conf/time/BasinCRV08

SCOPUS: 2-s2.0-51549119175

Wos: WOS:000257652000015

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

A Labeled Tableaux System for the Distributed Temporal Logic Dtl

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

A Labeled Tableaux System for the Distributed Temporal Logic Dtl

Links Úteis

Ajuda