101 search results - page 21 / 21 » Some Progress in Satisfiability Checking for Difference Logi... |
215
Voted
HT
2004
ACM
16 years 25 days ago
2004
ACM
In this paper, we describe Chrysant, a hypertext version control system for embedded link models. Chrysant provides generalpurpose versioning capability to hypertext systems with ...