The following publications are possibly variants of this publication:
- Metis: File System Model Checking via Versatile Input and State ExplorationYiFei Liu, Manish Adkar, Gerard J. Holzmann, Geoff Kuenning, Pei Liu, Scott A. Smolka, Wei Su, Erez Zadok. FAST 2024: 123-140 [doi]
- An hp-Galerkin method with fast solution for linear peridynamic models in one dimensionZhengguang Liu, Aijie Cheng, Hong Wang. cma, 73(7):1546-1565, 2017. [doi]