Sciweavers

5981 search results - page 43 / 1197
» time 2006
Sort
View
APAL
2006
44views more  APAL 2006»
15 years 2 months ago
Periodicity based decidable classes in a first order timed logic
Danièle Beauquier, Anatol Slissenko