-
Counting CTL
The original publication is available at www.springerlink.com. -
Counting LTL
The original publication is available at ieeexplore.ieee.org. -
Designing expressive interaction techniques for novices inspired by expert ac...
As interactive systems are now used to perform a variety of complex tasks, users need systems that are at the same time expressive, efficient and usable. Although...
