Publisher
Princeton University Press
Cited by
530 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Binary distinguishability operation;Theoretical Computer Science;2024-11
2. Incremental NFA minimization;Theoretical Computer Science;2024-07
3. KATch: A Fast Symbolic Verifier for NetKAT;Proceedings of the ACM on Programming Languages;2024-06-20
4. Formalising the role of behaviour in neuroscience;European Journal of Neuroscience;2024-06-10
5. On Minimum Realization of Boolean Control Networks;IEEE Transactions on Automatic Control;2024-06