Sciweavers

716 search results - page 7 / 144
» time 1997
Sort
View
53
Voted
STACS
1997
Springer
15 years 2 months ago
Efficient Scaling-Invariant Checking of Timed Bisimulation
Carsten Weise, Dirk Lenzkes
57
Voted
WDAG
1997
Springer
77views Algorithms» more  WDAG 1997»
15 years 2 months ago
Low-Overhead Time-Triggered Group Membership
Shmuel Katz, Patrick Lincoln, John M. Rushby
ELPUB
1997
ACM
15 years 1 months ago
Modelling a Medieval Manuscript Database with HyTime
Sylvie Calabretto, Jean-Marie Pinon