scientific article; zbMATH DE number 2117131

zbMATH Open1091.68549MaRDI QIDQ4828478

Matti Luukkainen, Tuomo Malinen

Publication date: 19 November 2004

Title of this publication is not available (Why is that?)

zbMATH Keywords

verificationBüchi automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (9)

On fairness of completion-based theorem proving strategies ⋮ Automatic discovery of fair paths in infinite-state transition systems ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ Logic for Programming, Artificial Intelligence, and Reasoning ⋮ Model checking with fairness assumptions using PAT ⋮ Theoretical Aspects of Computing – ICTAC 2005 ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Difficulties in Forcing Fairness of Polynomial Time Inductive Inference

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4828478)