Method of Constructing Two-Way Alternating Automata for PSL and Translation to Nondeterministic Automata

From MaRDI portal

Revision as of 21:47, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:3071440

Jump to:navigation, search

DOI10.3724/SP.J.1001.2010.03456zbMath1224.68051OpenAlexW1994082094MaRDI QIDQ3071440

Lei Yu, Huowang Chen

Publication date: 5 February 2011

Published in: Journal of Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3724/sp.j.1001.2010.03456

zbMATH Keywords

model checking nondeterministic automata two-way alternating automata

Mathematics Subject Classification ID

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

This page was built for publication: Method of Constructing Two-Way Alternating Automata for PSL and Translation to Nondeterministic Automata

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