Publications

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(s)

Stéphane Demri; Christian S. Jensen

Document Type

Proceedings Paper

Year published

2008

Published

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

Pages: 101-109 (9)

Conference

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

Indexing

Wos^®

Scopus^®

Dblp^®/en/publications/view/170883

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/TIME.2008.21

DBLP: conf/time/BasinCRV08

SCOPUS: 2-s2.0-51549119175

Wos: WOS:000257652000015

Export Publication Metadata

Marked List

Add to Marked List

Info

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

A Labeled Tableaux System for the Distributed Temporal Logic Dtl

Useful Links

Get Help

Federated Authentication (Click on the image)

A Labeled Tableaux System for the Distributed Temporal Logic Dtl

Useful Links

Get Help