Stem krono$ (all stems)
2 papers:
- CHI-2011-ZhaoCB #multi #named #navigation #using #visual notation
- KronoMiner: using multi-foci navigation for the visual exploration of time-series data (JZ, FC, RB), pp. 1737–1746.
- CAV-1998-BozgaDMOTY #model checking #named #realtime
- Kronos: A Model-Checking Tool for Real-Time Systems (MB, CD, OM, AO, ST, SY), pp. 546–550.