Sciweavers

3928 search results - page 15 / 786
» order 2006
Sort
View
APAL
2006
44views more  APAL 2006»
14 years 11 months ago
Periodicity based decidable classes in a first order timed logic
Danièle Beauquier, Anatol Slissenko