28 citations · 28 across the 1 of their papers we have counts for
1 paper · 1 filter
Gerald Lüttgen, Walter Vogler
De Alfaro and Henzinger's Interface Automata (IA) and Nyman et al.'s recent combination IOMTS of IA and Larsen's Modal Transition Systems (MTS) are established frameworks for speci…