A Coalgebraic Cellular Automaton Model for the Verification of Redstone Systems with Minimal Logical Fragments
Unknown authors
· 0 citations
· 18 references