isLTS

P166753
predicate

Indicates that one system or specification is a labeled transition system (LTS) representation of another, capturing its states and labeled transitions.

Try in SPARQL

Sample triples (1)

Subject Object
Ubuntu 15.04 false ⓘ