Branching time logics BT L U,SN,N-1 ()? with operations until and since based on bundles of integer numbers, logical consecutions, deciding algorithms : научное издание
Branching time logics BT L U,SN,N-1 ()? with operations until and since based on bundles of integer numbers, logical consecutions, deciding algorithms : научное издание