Skip to content
EntityQ751505· pop 6· linked from 247 articles

Property Specification Language

Sign in to save

standardized temporal logic extending linear temporal logic for practical use

Available in 6 languages

via Wikidata sitelinks · CC0

Connections

Categories