Model checking nondeterministic and randomly timed systemsMartin R. NeuhäußerUitverkocht4,3Hou mij op de hoogte