scientific article
From MaRDI portal
Publication:3174691
DOI10.4204/EPTCS.96zbMath1392.68016arXiv1210.2028MaRDI QIDQ3174691
No author found.
Publication date: 17 July 2018
Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1210.2028
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings of conferences of miscellaneous specific interest (00B25) Formal languages and automata (68Q45) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)
