name
NuSMV
@ast
NuSMV
@ca
NuSMV
@da
NuSMV
@de
NuSMV
@en
NuSMV
@es
NuSMV
@fi
NuSMV
@fr
NuSMV
@it
NuSMV
@nl
type
label
NuSMV
@ast
NuSMV
@ca
NuSMV
@da
NuSMV
@de
NuSMV
@en
NuSMV
@es
NuSMV
@fi
NuSMV
@fr
NuSMV
@it
NuSMV
@nl
prefLabel
NuSMV
@ast
NuSMV
@ca
NuSMV
@da
NuSMV
@de
NuSMV
@en
NuSMV
@es
NuSMV
@fi
NuSMV
@fr
NuSMV
@it
NuSMV
@nl
P1972
P277
P3499
sci-mathematics/nusmv