Watson-Crick online tessellation automaton and timed Watson-Crick ω-automaton | IEEE Conference Publication | IEEE Xplore