scientific article; zbMATH DE number 7301457
From MaRDI portal
Publication:5146593
zbMath1456.68095MaRDI QIDQ5146593
Vojtěch Řehák, Jan Strejček, Tomáš Babiak
Publication date: 26 January 2021
Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESS2009.2
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
This page was built for publication:
