Tag:Temporal-logic

From Wikipedia, the free encyclopedia

Jump to: navigation, search

Related Tags

logic temporal semantics verification language dataspace @todo checking meeting formalmethods lambda logics formal model operators strathclyde phd time temporal-theory thesis temporal-reasoning

Articles

Temporal logic (5)
logic temporal temporal-logic semantics wikipedia language verification strathclyde operators phd time model thesis temporal-theory temporal-reasoning formalmethods checking @todo dataspace formal logics lambda meeting

Retrieved from "http://en.wikipedia.org/wiki/Tag:Temporal-logic"

Views

Personal tools

Log in / create account

Search

Toolbox