Login / Signup
Proving Partial-Correctness and Invariance Properties of Transition-System Models.
Vlad Rusu
Gilles Grimaud
Michaël Hauspie
Published in:
TASE (2018)
Keyphrases
</>
invariance properties
probabilistic model
state space
d objects