MoTraS: A Tool for Modal Transition Systems and Their Extensions.

Jan Kretnsk, Salomon Sickert

Browse the full ATVA paper archive.