Sciweavers

MFCS
1995
Springer

From Timed Automata to Logic - and Back

15 years 10 days ago
From Timed Automata to Logic - and Back
François Laroussinie, Kim Guldstrand Larsen
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 1995
Where MFCS
Authors François Laroussinie, Kim Guldstrand Larsen, Carsten Weise
Comments (0)