DMCA

Markov Automata: Deciding weak bisimulation by means of non-näıvely vanishing states

Cached

Download Links

by Johann Schustera , Markus Sieglea