Sciweavers

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