scientific article
From MaRDI portal
Publication:3690204
zbMath0572.68018MaRDI QIDQ3690204
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Complementing deterministic Büchi automata in polynomial time, Reasoning about networks with many identical finite state processes, Nivat's processes and their synchronization