OpenAlex
Efficient Verification of Observability and Reconstructibility for Large Boolean Control Networks With Special Structures
Work