Sciweavers

Share
32 search results - page 1 / 7
» lics 2003
Sort
View
LICS
2003
IEEE
10 years 12 days ago
Abstract Saturation-Based Inference
Nachum Dershowitz, Claude Kirchner
LICS
2003
IEEE
10 years 12 days ago
Model Checking Guarded Protocols
E. Allen Emerson, Vineet Kahlon
books