scientific article; zbMATH DE number 2102723

From MaRDI portal

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

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

Publication:4818810

Jump to:navigation, search

zbMath1046.68580MaRDI QIDQ4818810

Masahiro Fujita, Koichiro Takayama, Vamsi Boppana, Sreeranga Rajan

Publication date: 24 September 2004

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

Mathematics Subject Classification ID

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

Related Items (2)

Synchronizing Automata and the Černý Conjecture ⋮ Černý's conjecture and the road colouring problem

This page was built for publication:

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