Modal Transition Systems: Composition and LTL Model Checking.

Nikola Benes, Ivana Cern, Jan Kretnsk

Browse the full ATVA paper archive.