Sciweavers

Share
ATVA
2006
Springer

Timed Temporal Logics for Abstracting Transient States

10 years 1 months ago
Timed Temporal Logics for Abstracting Transient States
Houda Bel Mokadem, Béatrice Bérard,
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where ATVA
Authors Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie
Comments (0)
books