Synthesis: Words and Traces

DOI10.1007/978-3-642-15643-4_3zbMATH Open1305.68116OpenAlexW1483407891MaRDI QIDQ4931279

Igor Walukiewicz

Publication date: 4 October 2010

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15643-4_3

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Synthesis with Identifiers

This page was built for publication: Synthesis: Words and Traces

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