Sciweavers

9698 search results - page 20 / 1940
» models 2010
Sort
View
ENTCS
2000
74views more  ENTCS 2000»
14 years 9 months ago
Categorical Models for Fairness: Completion vs Delay
Thomas T. Hildebrandt
ENTCS
2002
56views more  ENTCS 2002»
14 years 9 months ago
Using Assumptions to Distribute CTL Model Checking
Lubos Brim, Jitka Crhova, Karen Yorav
47
Voted
ENTCS
2002
89views more  ENTCS 2002»
14 years 9 months ago
Bounded Model Checking for Timed Automata
Maria Sorea