description
perangkat lunak Aalborg University
@id
name
TAPAAL Model Checker
@ast
TAPAAL Model Checker
@cs
TAPAAL Model Checker
@en
TAPAAL Model Checker
@fr
type
label
TAPAAL Model Checker
@ast
TAPAAL Model Checker
@cs
TAPAAL Model Checker
@en
TAPAAL Model Checker
@fr
prefLabel
TAPAAL Model Checker
@ast
TAPAAL Model Checker
@cs
TAPAAL Model Checker
@en
TAPAAL Model Checker
@fr
P306
P31
P366
P373
TAPAAL Model Checker