Sciweavers

16725 search results - page 212 / 3345
» Engineering Software Correctness
Sort
View
FASE
1998
Springer
15 years 7 months ago
Distributed Safety Controllers for Web Services
Anders Sandholm, Michael I. Schwartzbach
102
Voted
FSTTCS
1998
Springer
15 years 7 months ago
Descriptive Complexity and Model Checking
Neil Immerman