User contributions

From Free net encyclopedia

Namespace: all(Main)TalkUserUser talkFree net encyclopediaFree net encyclopedia talkImageImage talkMediaWikiMediaWiki talkTemplateTemplate talkHelpHelp talkCategoryCategory talk

(Latest | Earliest) View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500).

• 07:24, 12 April 2006 (hist) (diff) m Model checking (→Model checking tools - GEAR - added link to specification patterns) (top)
• 07:17, 12 April 2006 (hist) (diff) m Computational tree logic (→Relations with other logics - added CTL to be a subset of modal mu calculus) (top)

(Latest | Earliest) View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500).