101 search results - page 21 / 21 » Some Progress in Satisfiability Checking for Difference Logi... |
81
Voted
HT
2004
ACM
15 years 2 months 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 ...