Sciweavers

3233 search results - page 49 / 647
» Rule Modeling and Markup
Sort
View
CAV
1997
Springer
111views Hardware» more  CAV 1997»
15 years 6 months ago
RuleBase: Model Checking at IBM
Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel ...