Model checking mobile stochastic logic
Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke MassinkVolume:
382
Year:
2007
Language:
english
Pages:
29
DOI:
10.1016/j.tcs.2007.05.008
File:
PDF, 591 KB
english, 2007