Jump to content

Talk:Temporal logic in finite-state verification

From Wikipedia, the free encyclopedia

This is the current revision of this page, as edited by Bilorv (talk | contribs) at 22:53, 15 July 2020 (→Merge request: WP:MERGE says to discuss at destination). The present address (URL) is a permanent link to this version.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

This article was nominated for deletion on 3 April 2016. The result of the discussion was keep.

Merge request

See Talk:Model checking#Merge here: Temporal logic in finite-state verification for a discussion to merge this page into Model checking. — Bilorv (talk) 22:53, 15 July 2020 (UTC)[reply]

Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:Temporal_logic_in_finite-state_verification&oldid=967888608"