Sciweavers

Share
ENTCS
2010

Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics

8 years 10 months ago
Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics
Corina Cîrstea
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2010
Where ENTCS
Authors Corina Cîrstea
Comments (0)
books