Search Sciweavers | Sciweavers

1860 search results - page 70 / 372

» A Temporal Logic of Robustness

click to vote

CAV
1998
Springer

138views Hardware» more CAV 1998»

Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs

14 years 2 months ago

Download hvg.ece.concordia.ca

bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...

Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Core...

claim paper

Read More »

click to vote

JELIA
1998
Springer

62views Artificial Intelligence» more JELIA 1998»

Implicates and Reduction Techniques for Temporal Logics

14 years 2 months ago

Download sevein.matap.uma.es

Inman P. de Guzmán, Manuel Ojeda-Aciego, Ag...

claim paper

Read More »

click to vote

TAGT
1998
Springer

317views Graph Theory» more TAGT 1998»

A Fully Abstract Model for Graph-Interpreted Temporal Logic

14 years 2 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 2 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 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers