Sciweavers

11395 search results - page 426 / 2279
» Beyond computer science
Sort
View
118
Voted
LICS
2003
IEEE
16 years 4 days ago
Abstract Saturation-Based Inference
Nachum Dershowitz, Claude Kirchner
LICS
2003
IEEE
16 years 4 days ago
Model Checking Guarded Protocols
E. Allen Emerson, Vineet Kahlon