Login / Signup
Shahab Raza
Publication Activity (10 Years)
Years Active: 2014-2015
Publications (10 Years): 1
Top Topics
Low Cost
Modal Logic
Vision System
Real Time Systems
Top Venues
FoSSaCS
CoRR
</>
Publications
</>
Timos Antonopoulos
,
Paul Hunter
,
Shahab Raza
,
James Worrell
Three Variables Suffice for Real-Time Logic.
FoSSaCS
(2015)
Timos Antonopoulos
,
Paul Hunter
,
Shahab Raza
,
James Worrell
Three Variables are Enough for Real-Time Specification.
CoRR
(2014)