Stem themi$ (all stems)

3 papers:

HT-2004-LepthienA #behaviour

Unifying structure, behavior, and data with themis types and templates (WVL, KMA), pp. 256–265.

HT-2003-AndersonSL #behaviour

Structure and behavior awareness in themis (KMA, SAS, WVL), pp. 138–147.

DAC-1984-DoshiSS #interactive #logic #multi

THEMIS logic simulator — a mix mode, multi-level, hierarchical, interactive digital circuit simulator (MHD, RBS, DMS), pp. 24–31.