Regular Symmetry Patterns

DOI10.1007/978-3-662-49122-5_22zbMath1475.68190arXiv1510.08506OpenAlexW2295090050MaRDI QIDQ2796070

Jun Sun, Philipp Rümmer, Truong Khanh Nguyen, Anthony Widjaja Lin

Publication date: 23 March 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1510.08506

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Regular model checking revisited, Simulation by Rounds of Letter-to-Letter Transducers