Sciweavers

71
Voted
APAL
2006
44views more  APAL 2006»

Periodicity based decidable classes in a first order timed logic

15 years 2 months ago
Periodicity based decidable classes in a first order timed logic
Danièle Beauquier, Anatol Slissenko
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2006
Where APAL
Authors Danièle Beauquier, Anatol Slissenko
Comments (0)