Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

CSFW
2006
IEEE

favoriteEmaildiscussreport

100views Security Privacy» more CSFW 2006»

A Temporal Logic Characterisation of Observational Determinism

13 years 8 months ago

A Temporal Logic Characterisation of Observational Determinism

Download www.loria.fr

Marieke Huisman, Pratik Worah, Kim Sunesen

Real-time Traffic

CSFW 2006 | Security Privacy |

claim paper

Related Content

» Probabilistic Temporal Logics via the Modal MuCalculus

» A Model Checking Approach to the Parameter Estimation of Biochemical Pathways

» Preferred Explanations Theory and Generation via Planning

» Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds

» Multiagent event recognition in structured scenarios

» Matching Trace Patterns with Regular Policies

Post Info
More Details (n/a)

Added	22 Aug 2010
Updated	22 Aug 2010
Type	Conference
Year	2006
Where	CSFW
Authors	Marieke Huisman, Pratik Worah, Kim Sunesen

Comments (0)