Transition_Systems_and_Automata
From MaRDI portal
Transition Systems and Automata
swMATH45546MaRDI QIDQ5974534FDOQ5974534
Author name not available (Why is that?)
Official website: https://www.isa-afp.org/entries/Transition_Systems_and_Automata.html
Cited In (3)
This page was built for software: Transition_Systems_and_Automata
