Inférence d'invariants pour le model checking de systèmes paramétrés. (Invariants inference for model checking of parameterized systems)

2014.

Cited by: 0|Bibtex|Views0|Links
EI

Code:

Data:

Your rating :
0

 

Tags
Comments