2009/01/01 by Manfred Droste, Werner Kuich · 9 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #semigroups and automata theory
paper · doi:10.1007/978-3-642-01492-5_1
crossref issued 2009/01/01 · crossref published 2009/01/01 · crossref published-print 2009/01/01 · openalex publication_date 2009/01/01 · crossref published-online 2009/09/16 · crossref created 2009/10/23 · crossref deposited 2025/02/12 · openalex created_date 2025/10/10 · crossref indexed 2026/05/29 · openalex updated_date 2026/08/04