Search Sciweavers | Sciweavers

1860 search results - page 72 / 372

» A Temporal Logic of Robustness

click to vote

LPAR
1994
Springer

75views Automated Reasoning» more LPAR 1994»

Projection in Temporal Logic Programming

14 years 2 months ago

Download www.cs.ncl.ac.uk

Zhenhua Duan, Maciej Koutny, Chris Holt

claim paper

Read More »

click to vote

AVMFSS
1989

236views Hardware» more AVMFSS 1989»

Temporal Logic Case Study

14 years 2 months ago

Download www.sei.cmu.edu

William G. Wood

claim paper

Read More »

click to vote

CONCUR
1990
Springer

65views Distributed And Parallel Com...» more CONCUR 1990»

An Axiomatization of Lamport's Temporal Logic of Actions

14 years 2 months ago

Download www.hpl.hp.com

Martín Abadi

claim paper

Read More »

click to vote

ATVA
2006
Springer

87views Hardware» more ATVA 2006»

Timed Temporal Logics for Abstracting Transient States

14 years 1 months ago

Download www.lsv.ens-cachan.fr

Houda Bel Mokadem, Béatrice Bérard, ...

claim paper

Read More »

click to vote

CSFW
2006
IEEE

100views Security Privacy» more CSFW 2006»

A Temporal Logic Characterisation of Observational Determinism

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers