Sciweavers

3233 search results - page 49 / 647
» Rule Modeling and Markup
Sort
View
92
Voted
RULEML
2005
Springer
15 years 9 months ago
Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML
Adrian Giurca, Gerd Wagner
CAV
1997
Springer
111views Hardware» more  CAV 1997»
15 years 8 months ago
RuleBase: Model Checking at IBM
Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel ...