Search Sciweavers | Sciweavers

3028 search results - page 75 / 606

» Integrating Temporal Logics

145

click to vote

CAV
1998
Springer

138views Hardware» more CAV 1998»

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

15 years 8 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 »

106

click to vote

JELIA
1998
Springer

62views Artificial Intelligence» more JELIA 1998»

Implicates and Reduction Techniques for Temporal Logics

15 years 8 months ago

Download sevein.matap.uma.es

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

claim paper

Read More »

279

click to vote

TAGT
1998
Springer

317views Graph Theory» more TAGT 1998»

A Fully Abstract Model for Graph-Interpreted Temporal Logic

15 years 8 months ago

Download www.cs.uni-paderborn.de

Fabio Gadducci, Reiko Heckel, Manuel Koch

claim paper

Read More »

122

click to vote

LICS
1997
IEEE

86views Automated Reasoning» more LICS 1997»

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces

15 years 8 months ago

Download www.brics.dk

P. S. Thiagarajan, Igor Walukiewicz

claim paper

Read More »

138

Voted

ARTS
1997
Springer

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

Refining Interval Temporal Logic Specifications

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers