scientific article; zbMATH DE number 1836353

From MaRDI portal

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

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

Publication:4782022

Jump to:navigation, search

zbMath1009.68077MaRDI QIDQ4782022

Sophie Pinchinat, Hervé Marchand

Publication date: 27 November 2002

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

zbMATH Keywords

symbolic bisimulations intensional transition systems

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

This page was built for publication:

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