Compositional Techniques for Asynchronous Boolean Networks. - Maram Alshahrani; Jason Steggles (BIOSTEC (1), 2024)