10038 search results - page 35 / 2008 » Model Checking for Managers |
CAV
2004
Springer
15 years 5 months ago
2004
Springer
CAV
2001
Springer
15 years 4 months ago
2001
Springer
CAV
1999
Springer
15 years 4 months ago
1999
Springer
ENTCS
2002
14 years 11 months ago
2002
TOIT
2002
14 years 11 months ago
2002
xlinkit is a lightweight application service that provides rule-based link generation and checks the consistency of distributed web content. It leverages standard Internet technol...