Search Sciweavers | Sciweavers

1167 search results - page 66 / 234

» A Really Temporal Logic

click to vote

TAGT
1998
Springer

317views Graph Theory» more TAGT 1998»

A Fully Abstract Model for Graph-Interpreted Temporal Logic

14 years 1 months ago

Download www.cs.uni-paderborn.de

Fabio Gadducci, Reiko Heckel, Manuel Koch

claim paper

Read More »

click to vote

LICS
1997
IEEE

86views Automated Reasoning» more LICS 1997»

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces

14 years 1 months ago

Download www.brics.dk

P. S. Thiagarajan, Igor Walukiewicz

claim paper

Read More »

click to vote

ARTS
1997
Springer

110views Distributed And Parallel Com...» more ARTS 1997»

Refining Interval Temporal Logic Specifications

14 years 1 months ago

Download www.cse.dmu.ac.uk

Antonio Cau, Hussein Zedan

claim paper

Read More »

click to vote

CONCUR
1997
Springer

86views Distributed And Parallel Com...» more CONCUR 1997»

A Product Version of Dynamic Linear Time Temporal Logic

14 years 1 months ago

Download www.cmi.ac.in

Jesper G. Henriksen, P. S. Thiagarajan

claim paper

Read More »

click to vote

LICS
1996
IEEE

99views Automated Reasoning» more LICS 1996»

A Temporal-Logic Approach to Binding-Time Analysis

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers