10038 search results - page 35 / 2008 » Model Checking for Managers |
CAV
2004
Springer
14 years 2 months ago
2004
Springer
CAV
2001
Springer
14 years 1 months ago
2001
Springer
CAV
1999
Springer
14 years 28 days ago
1999
Springer
ENTCS
2002
13 years 8 months ago
2002
TOIT
2002
13 years 8 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...