Sciweavers

69
Voted
CSFW
2006
IEEE

A Temporal Logic Characterisation of Observational Determinism

15 years 13 days ago
A Temporal Logic Characterisation of Observational Determinism
Marieke Huisman, Pratik Worah, Kim Sunesen
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where CSFW
Authors Marieke Huisman, Pratik Worah, Kim Sunesen
Comments (0)