scientific article; zbMATH DE number 1424032

From MaRDI portal

Revision as of 08:01, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:4945222

Jump to:navigation, search

zbMath0944.68128MaRDI QIDQ4945222

Amir Pnueli, Yonit Kesten

Publication date: 26 September 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

finite-state Büchi automaton verification by augmented finitary abstraction

Mathematics Subject Classification ID

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

Related Items (1)

Verification by augmented abstraction: The automata-theoretic view

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4945222&oldid=19364854"