74 citations · 212 across the 19 of their papers we have counts for
1 paper · 1 filter
Axel Legay, Andrzej Wąsowski
Over the last 20 years a large number of automata-based specification theories have been proposed for modeling of discrete,real-time and probabilistic systems. We have observed a l…